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)
Corana/API (API stub extension of Corana for ARM Cortex-M/Linux)
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)