A forum for Spin users

You are not logged in.

#1 2019-12-03 21:17:12

Registered: 2010-11-18
Posts: 694

Cobra Version 3.1 now on GitHub

This is a larger update, with many fixes and improvements.
The implementation of associative arrays for the scripting language was improved and is much faster now.
Lots of small updates of the query checkers, especially the standalone versions of the cwe checkers.
Cobra also has a new runtime verification mode, and a new -text option to suppress the default categorization of tokens (useful for runtime verification or when scanning anything other than program source texts).


Board footer

Powered by FluxBB