Add test for gen-info-flow
Update existing test
fix
fix
fix
MAJOR MILESTONE - Dec.26.2014: Very stable implementation of Symex,
Varis, and WebSlice (the best to date).
- Symex: Revolutionary ways of handling branching, objects and arrays.
- Varis: Solid parser implementation with detailed error messages.
- WebSlice: Significantly improved ways of tracking data flows within
PHP/SQL, and JavaScript; and systematic detection of cross-language data
flows.
- Well tested on small examples and 1 system (SchoolMate)