https://github.com/nimble-code/Cobra

An interactive (fast) static source code analyzer
https://github.com/nimble-code/Cobra

Last synced: 13 days ago
JSON representation

An interactive (fast) static source code analyzer

• Host: GitHub
• URL: https://github.com/nimble-code/Cobra
• Owner: nimble-code
• Created: 2019-06-04T22:43:49.000Z (about 5 years ago)
• Default Branch: master
• Last Pushed: 2024-05-06T20:04:19.000Z (about 2 months ago)
• Last Synced: 2024-06-12T07:55:29.712Z (18 days ago)
• Language: C
• Size: 18.5 MB
• Stars: 132
• Watchers: 11
• Forks: 29
• Open Issues: 4
• Metadata Files:
  • Readme: README.md

Lists

• awesome-performance - Cobra

README

        
# Cobra

## An interactive static source code analyzer

Cobra is a fast code analyzer that can be used

to interactively probe and query up to millions of lines

of code. The basic design of the tool is language-neutral,

though a lot of query and rule libraries have been

developed, and are included in the distribution, that target

C or C-like languages. The original version of the tool

(version 1.0) was developed at NASA/JPL and cleared

for public release in April 2016. The current version (4.6)

is a significantly extended version of the tool,

released under the same license.

## Installation

* choose a directory to install the tool,

   below this is referred to as directory $COBRA

   $ git clone https://github.com/nimble-code/Cobra

   which gives you a directory with a set of

   sub-directories like this:

   drwxrwxr-x 2 gh gh 4096 May 16 10:03 doc     # change history, manpage, license  

   drwxrwxr-x 2 gh gh 4096 May 16 10:03 gui     # optional small tcl/tk script  

   drwxrwxr-x 8 gh gh 4096 May 16 15:55 rules   # cobra checker libraries  

   drwxrwxr-x 1 gh gh 4096 May 16 12:43 src     # cobra source files  

   drwxrwxr-x 1 gh gh 4096 May 16 12:43 src_app # standalone cobra checkers  

* you can also download binaries from the last stable release of Cobra

  from the Releases tab -- they are in three .zip files with precompiled

  binaries of cobra and related tools for cygwin, linux, and mac.

* to compile the tool (if you are not using precompiled executables in one

  of the ./bin_... directories)

   $ cd src

   and depending on your platform, do:

   	$ sudo make install_linux

     or

   	$ make install_cygwin

     or

   	$ make install_mac

* add $COBRA/bin_... to your search PATH environment variable, matching

   the platform you are using.

   if you use the bash shell, you can add this line at the end

   of the ~/.bashrc script, where $COBRA is defined as above,

   for instance:

     export PATH=$PATH:$COBRA/bin_linux

* configure the tool so that it knows where to find the rule libraries

  (using the $COBRA directory set at the beginning):

   $ cobra -configure $COBRA

   this creates a ~/.cobra file in your home directory, which

   cobra reads on startup to find the predefined checker libraries

   you can also tell Cobra where the libraries are by setting and

   exporting an environment variable C_BASE, for instance as follows:

     export C_BASE=$COBRA/rules

   if both a ~/.cobra file exists and the $C_BASE variable is set, the

   latter will be used.

* on older cygwin 32bit platforms you may also have to help cobra

  find where the /tmp directory for temporary files is located, e.g.

  to make the cobra -view -pat '...' option work with dot or dotty.

  to do so, add the following environment variable as well, for instance:

     export C_TMP=C:/cygwin

* for basic usage, to get started using Cobra, see doc/BasicUsage.txt

   and online for more detailed tutorials: [http://spinroot.com/cobra]