/mini-symex-js

A mini symbolic execution engine for simple JavaScript programs

Primary LanguageJavaScript

Watchers