search

goblint / bench

The benchmark suite
4 stars 5 forks source link

masscan #41

Open sim642 opened 1 year ago

sim642 commented 1 year ago

https://github.com/robertdavidgraham/masscan

Initial attempt

Goblint version: heads/master-0-ge223b4f36-dirty.

Checked out git on master at 1.3.2-54-g144c527 and executed:

bear -- make
goblint -v compile_commands.json

Crashes due to parsing errors due to enum values (https://github.com/goblint/cil/issues/112):

``` Frontc is parsing /home/simmo/Desktop/masscan/.goblint/preprocessed/src/massip-parse.i Converting CABS->CIL src/massip-parse.c:785: Error: Cannot resolve variable Found_Error. src/massip-parse.c:801: Error: Cannot resolve variable Found_Error. src/massip-parse.c:804: Error: Cannot resolve variable Found_Error. src/massip-parse.c:873: Error: Cannot resolve variable Still_Working. src/massip-parse.c:873: Error: Case statement with a non-constant Error in doStatement (GoblintCil__Errormsg.Error) src/massip-parse.c:880: Error: Cannot resolve variable Found_Error. src/massip-parse.c:880: Error: Case statement with a non-constant Error in doStatement (GoblintCil__Errormsg.Error) src/massip-parse.c:887: Error: Cannot resolve variable Found_IPv4. src/massip-parse.c:887: Error: Case statement with a non-constant Error in doStatement (GoblintCil__Errormsg.Error) src/massip-parse.c:891: Error: Cannot resolve variable Found_IPv6. src/massip-parse.c:891: Error: Case statement with a non-constant Error in doStatement (GoblintCil__Errormsg.Error) src/massip-parse.c:914: Error: Cannot resolve variable Still_Working. src/massip-parse.c:914: Error: Case statement with a non-constant Error in doStatement (GoblintCil__Errormsg.Error) src/massip-parse.c:916: Error: Cannot resolve variable Found_Error. src/massip-parse.c:916: Error: Case statement with a non-constant Error in doStatement (GoblintCil__Errormsg.Error) src/massip-parse.c:922: Error: Cannot resolve variable Found_IPv4. src/massip-parse.c:922: Error: Case statement with a non-constant Error in doStatement (GoblintCil__Errormsg.Error) src/massip-parse.c:926: Error: Cannot resolve variable Found_IPv6. src/massip-parse.c:926: Error: Case statement with a non-constant Error in doStatement (GoblintCil__Errormsg.Error) src/massip-parse.c:965: Error: Cannot resolve variable Still_Working. src/massip-parse.c:965: Error: Case statement with a non-constant Error in doStatement (GoblintCil__Errormsg.Error) src/massip-parse.c:981: Error: Cannot resolve variable Found_Error. src/massip-parse.c:981: Error: Case statement with a non-constant Error in doStatement (GoblintCil__Errormsg.Error) src/massip-parse.c:984: Error: Cannot resolve variable Found_IPv4. src/massip-parse.c:984: Error: Case statement with a non-constant Error in doStatement (GoblintCil__Errormsg.Error) src/massip-parse.c:986: Error: Cannot resolve variable Found_IPv6. src/massip-parse.c:986: Error: Case statement with a non-constant Error in doStatement (GoblintCil__Errormsg.Error) src/massip-parse.c:1012: Error: Cannot resolve variable Still_Working. src/massip-parse.c:1012: Error: Case statement with a non-constant Error in doStatement (GoblintCil__Errormsg.Error) src/massip-parse.c:1028: Error: Cannot resolve variable Found_Error. src/massip-parse.c:1028: Error: Case statement with a non-constant Error in doStatement (GoblintCil__Errormsg.Error) src/massip-parse.c:1031: Error: Cannot resolve variable Found_IPv6. src/massip-parse.c:1031: Error: Case statement with a non-constant Error in doStatement (GoblintCil__Errormsg.Error) src/massip-parse.c:1033: Error: Cannot resolve variable Found_IPv4. src/massip-parse.c:1033: Error: Case statement with a non-constant Error in doStatement (GoblintCil__Errormsg.Error) src/massip-parse.c:1067: Error: Cannot resolve variable Still_Working. src/massip-parse.c:1067: Error: Case statement with a non-constant Error in doStatement (GoblintCil__Errormsg.Error) src/massip-parse.c:1083: Error: Cannot resolve variable Found_Error. src/massip-parse.c:1083: Error: Case statement with a non-constant Error in doStatement (GoblintCil__Errormsg.Error) src/massip-parse.c:1086: Error: Cannot resolve variable Found_IPv4. src/massip-parse.c:1086: Error: Case statement with a non-constant Error in doStatement (GoblintCil__Errormsg.Error) src/massip-parse.c:1090: Error: Cannot resolve variable Found_IPv6. src/massip-parse.c:1090: Error: Case statement with a non-constant Error in doStatement (GoblintCil__Errormsg.Error) src/massip-parse.c:1183: Error: Cannot resolve variable Still_Working. src/massip-parse.c:1186: Error: Cannot resolve variable Found_IPv6. src/massip-parse.c:1186: Error: Case statement with a non-constant Error in doStatement (GoblintCil__Errormsg.Error) src/massip-parse.c:1204: Error: Cannot resolve variable Found_IPv4. src/massip-parse.c:1204: Error: Case statement with a non-constant Error in doStatement (GoblintCil__Errormsg.Error) src/massip-parse.c:1210: Error: Cannot resolve variable Still_Working. src/massip-parse.c:1210: Error: Case statement with a non-constant Error in doStatement (GoblintCil__Errormsg.Error) src/massip-parse.c:1215: Error: Cannot resolve variable Found_Error. src/massip-parse.c:1215: Error: Case statement with a non-constant Error in doStatement (GoblintCil__Errormsg.Error) Frontc is parsing /home/simmo/Desktop/masscan/.goblint/preprocessed/src/massip-rangesv4.i Error: There were parsing errors in /home/simmo/Desktop/masscan/.goblint/preprocessed/src/massip-rangesv4.i Fatal error: exception GoblintCil__Errormsg.Error Raised at GoblintCil__Errormsg.s in file "src/ocamlutil/errormsg.ml" (inlined), line 49, characters 17-28 Called from GoblintCil__Frontc.parse_to_cabs in file "src/frontc/frontc.ml", line 123, characters 4-57 Called from GoblintCil__Frontc.parse_helper in file "src/frontc/frontc.ml", line 256, characters 13-32 Called from GoblintCil__Frontc.parse in file "src/frontc/frontc.ml" (inlined), line 264, characters 32-55 Called from Goblint_lib__Cilfacade.parse in file "src/util/cilfacade.ml", line 30, characters 2-44 Called from BatList.map.loop in file "src/batList.mlv", line 237, characters 28-33 Called from BatList.map in file "src/batList.mlv", line 240, characters 4-12 Called from Goblint_lib__Maingoblint.preprocess_parse_merge in file "src/maingoblint.ml", line 392, characters 2-45 Called from Stdlib__Fun.protect in file "fun.ml", line 33, characters 8-15 Re-raised at Stdlib__Fun.protect in file "fun.ml", line 38, characters 6-52 Called from CamlinternalLazy.force_lazy_block in file "camlinternalLazy.ml", line 31, characters 17-27 Re-raised at CamlinternalLazy.force_lazy_block in file "camlinternalLazy.ml", line 36, characters 4-11 Called from Dune__exe__Goblint.main in file "src/goblint.ml", line 32, characters 17-32 Called from Stdlib.at_exit.new_exit in file "stdlib.ml", line 560, characters 59-63 Called from Stdlib.do_at_exit in file "stdlib.ml" (inlined), line 566, characters 20-61 Called from Std_exit in file "std_exit.ml", line 18, characters 8-20 ```