NAME

       Jessie  -  plugin  of  the  Frama-C  environment for static analysis of C code. It aims at
       deductive verification of behavioral properties of the  code,  specified  using  the  ACSL
       language.

SYNOPSIS

       frama-c -jessie [options] files

OPTIONS

       -parse-only
              stops after parsing

       -type-only
              stops after typing

       -user-annot-only
              check only user-defined annotations (i.e. safety is assumed)

       -print-call-graph
              stops after call graph and print call graph

       -gen-only
              stops after generating intermediate Why3 code

       -d     debugging mode

       -locs  <f> reads source locations from file f

       -behavior
              verify only specified behavior (safety, variant, default or user-defined behavior)

       -why3cmd
              <why3 command>  (default: ide)

       -v     verbose mode

       -q     quiet mode (default)

       -main  main function for interprocedural abstract interpretation (needs -ai <domain>)

       -fast-ai
              fast ai (needs -ai <domain> and -main <function>)

       -trust-ai
              verify inferred annotations (needs -ai <domain>)

       -separation
              apply region-based separation on pointers

       --werror
              treats warnings as errors

       --version
              prints version and exit

       -all-offsets
              generate vcs for all pointer offsets

       -invariants-only
              verify invariants only (Arguments policy)

       -verify
              verify only these functions

       -gen_frame_rule_with_ft  Experimental  :  Generate  frame  rule  for  predicates and logic
              functions using only their definitions

       -help  Display this list of options

       --help Display this list of options

SEE ALSO

       The  tutorial  and  reference  manual  for  jessie  can  be  obtained   at   the   address
       http://krakatoa.lri.fr/jessie.html

                                           October 2016                                 JESSIE(1)