Spinroot

A forum for Spin users

You are not logged in.

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

spinroot
forum
Registered: 2010-11-18
Posts: 667
Website

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).

Offline

Board footer

Powered by FluxBB