vdun

https://github.com/StanfordPL/stoke

https://github.com/zeropointdynamics/zelos

https://klee.github.io https://github.com/klee/klee AUR: https://aur.archlinux.org/packages/klee/

[Tool request] scurve

2

https://github.com/cortesi/scurve AUR: https://aur.archlinux.org/packages/scurve/

https://github.com/davidpany/WMI_Forensics

https://github.com/geekscrapy/binGraph

https://github.com/fox-it/mkYARA

https://github.com/taviso/ctypes.sh AUR: https://aur.archlinux.org/packages/ctypes-sh/

https://github.com/lfcnassif/IPED

https://github.com/endgameinc/eqllib