search

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

Implemented catalog for InternalFluentTQL #2

Closed ranjithkris closed 4 years ago

ranjithkris commented 4 years ago

Includes

  1. Catalog
  2. InternalFluentTQL specification for the respective catalog
  3. Javadoc
  4. Test case for both catalog and the respective specifications