search

mchalupa / dg

[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
MIT License
474 stars 131 forks source link

VR: extend to verify some cstr benchmarks #416

Closed GiraffeReversed closed 2 years ago

GiraffeReversed commented 2 years ago

Tested on SV-COMP21_valid-memsafety category, changed no answers except for newly verified benchmarks.

Depends on VR: use fixed and refactored version #403

GiraffeReversed commented 2 years ago

I found some problem with this, so no need to look at this yet.

mchalupa commented 2 years ago

I found some problem with this, so no need to look at this yet.

Is this PR now ready or you will do some more changes?

mchalupa commented 2 years ago

Hmm, I see there are some conflicts. I do not realize where they come from (but probably I did them, sorry). Could you, please, rebase?

GiraffeReversed commented 2 years ago

I will do the rebase, although I may get to it in the second half of December at the earliest (sorry :/). I may add more commits fixing some rather unlikely bugs.

mchalupa commented 2 years ago

Do you think you will be able to do the rebase in the near future?

mchalupa commented 2 years ago

ping

GiraffeReversed commented 2 years ago

Sorry! I'll try to look into it during this week.

GiraffeReversed commented 2 years ago

The code seems to be rebased all right :)

mchalupa commented 2 years ago

Thanks for this work.