Open sim642 opened 1 year ago
I retried this benchmark because the parsing issue was fixed. The analysis ran through, but most of the lines are dead. These are the results for a minimal from-scratch analysis:
./goblint -v --set ana.activated '["base", "mallocWrapper"]' --set ana.base.privatization none --enable exp.earlyglobs --set ana.base.context.non-ptr false --set pre.cppflags[+] -DGOBLINT_NO_BSEARCH --set pre.cppflags[+] -DGOBLINT_NO_QSORT ../curl
vars = 716295 evals = 2458230 narrow_reuses = 152631
Timings:
cputime walltime allocated count
Default 875.112s 875.310s2517702.12MB 1×
preprocess 6.289s 6.344s 0.31MB 1×
FrontC 6.529s 6.530s 10252.06MB 364×
Cabs2cil 7.419s 7.420s 12156.89MB 364×
mergeCIL 7.332s 7.333s 3279.82MB 1×
analysis 847.159s 847.296s2491592.88MB 1×
createCFG 2.252s 2.252s 1809.18MB 1×
handle 0.411s 0.416s 592.62MB 12869×
iter_connect 1.731s 1.735s 1118.50MB 12869×
computeSCCs 0.266s 0.271s 350.40MB 12869×
global_inits 0.534s 0.534s 365.90MB 1×
solving 837.809s 837.945s2488865.14MB 1×
S.Dom.equal 1.835s 3.423s 877.25MB2610861×
cheap_full_reach 7.306s 7.307s 226.24MB 1×
postsolver 98.862s 98.926s 212557.20MB 1×
postsolver_iter 93.181s 93.235s 212130.55MB 1×
warn_global 0.025s 0.025s 18.73MB 1×
result output 0.001s 0.001s 0.01MB 1×
Logical lines of code (LLoC) summary:
live: 7004
dead: 36454 (36260 in uncalled functions)
total: 43458
Did you check if there are any messages that both branches are dead somewhere?
https://github.com/curl/curl
Initial attempt
Goblint version: heads/master-0-ge223b4f36-dirty.
Checked out git tag
curl-7_85_0
and executed:Crashes due to parsing errors due to enum values (https://github.com/goblint/cil/issues/112):