masscan

[sim642]

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 (goblint/cil#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