cherry-wb/sedge
A dynamic symbolic execution system, that generates test cases to exercise the key behavior of the operators that comprise a data flow program.
Obfuscate your node packages because your boss says so!
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
A dynamic symbolic execution system, that generates test cases to exercise the key behavior of the operators that comprise a data flow program.
A proof of concept tool that demonstrates virtual machines, dynamic taint analysis, and symbolic execution.
A symbolic execution engine based on LLVM IR code.
symbolic mathematics for python