wcc

  • amoco：另一个分析二进制文件的工具。
  • find3：高精度室内定位框架。
  • python2-exrex：正则表达式上的不规则方法。Exrex是一个命令行工具和python模块，可以生成与给定正则表达式匹配的全部或随机字符串，等等。
  • verinice：管理信息安全的工具。
  • ent：伪随机数序列检验。
  • leena：javascript的符号执行引擎
  • klee：构建在LLVM编译器基础结构之上的符号虚拟机。
  • dotpeek：免费的.NET反编译程序和程序集浏览器。