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)