Tools
SMT solvers
raSAT: SMT for polynomial inequaltiy over reals
Dynamic Symbolic Execution on Binary code
BE-PUM: Binary Emulator for PUshdown Model generation (Dynamic Symbolic Execution Tool for X86/Windows)
Corana (Dynamic Symbolic Execution Tool for ARM Cortex-M)
HybridSE (Seemless DSE on Android/apk files with taint-analysis module)
SyMIPS (Dynamic Symbolic Execution Tool for MIPS)
K-framework
K-SQL (SQL formal sematics defintion in K-framework)
Misc
Garbage List of VirusShare
Open induction library (Isabelle/HOL AFP)