I am not able to use the jessie plugin to analysis files in the frama-c.
ID0000477: This issue was created automatically from Mantis Issue 477. Further discussion may take place here.
Id | Project | Category | View | Due Date | Updated |
---|---|---|---|---|---|
ID0000477 | Frama-C | Plug-in > jessie | public | 2010-05-11 | 2010-05-17 |
Reporter | luoting | Assigned To | signoles | Resolution | no change required |
Priority | normal | Severity | minor | Reproducibility | always |
Platform | - | OS | - | OS Version | - |
Product Version | - | Target Version | - | Fixed in Version | - |
Description :
~$ frama-c -jessie-analysis '/home/fuwuqi/desktop/b.c' Parsing [preprocessing] running gcc -C -E -I. -include /usr/lib/frama-c/jessie/jessie_prolog.h -dD /home/fuwuqi/desktop/b.c Cleaning unused parts Symbolic link Starting semantical analysis Starting Jessie translation Producing Jessie files in subdir /home/fuwuqi/desktop/b.jessie File /home/fuwuqi/desktop/b.jessie/b.jc written. File /home/fuwuqi/desktop/b.jessie/b.cloc written. Calling Jessie tool in subdir /home/fuwuqi/desktop/b.jessie File "b.jc", line 350, characters 18-19: syntax error Jessie subprocess failed: jessie -why-opt -split-user-conj -v -locs b.cloc b.jc
Additional Information :
When I use ~$ frama-c -jessie '/home/fuwuqi/??/b.c' then, frama-c: unknown option `-jessie'. toplevel options files...