3
edits
| Line 48: | Line 48: | ||
* [ ] https://developers.google.com/closure/ (useful JS analysis by compiler) | * [ ] https://developers.google.com/closure/ (useful JS analysis by compiler) | ||
* [ ] http://www.brics.dk/TAJS/ | * [ ] http://www.brics.dk/TAJS/ | ||
* [ ] https://github.com/SRA-SiliconValley/jalangi | * [ ] https://github.com/SRA-SiliconValley/jalangi (concolic testing tool out of Berkeley, framework for building dyn. analysis tools via record/replay) | ||
= Projects = | = Projects = | ||
edits