secure-software-engineering / secucheck

Soot-based taint analysis with internal Java fluent interface for security specifications in fluentTQL implemented with MagpieBridge to support multiple IDEs.
MIT License
16 stars 7 forks source link

Interprocedural analysis of a program is unsuccessful. #9

Closed dyd1024 closed 1 year ago