forked from przeor/react-router-flux-starter-kit
[ReactJS+FLUX+Parse example] a starter kit for reactjs flux project - including react-router & FB oauth
forked from CVC4/CVC4
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
Scalp! is a log analyzer for the Apache web server that aims to look for security problems
Quick'n'dirty T-SQL procedure static analysis (don't be fooled, there is no inter-procedural static analysis engine behind, and it only follows assignments...)
Dynamic tracing for binary applications (using PIN), IDA plugin to visualize and interact with the traces