lart
lart copied to clipboard
xlauko
LLVM Abstraction & Refinement Tool. The goal of this tool is to provide LLVM-to-LLVM transformations that implement various program abstractions. In terms of the instruction set, the resulting program...
inspire from: https://www.py4u.net/discuss/64945
create a convenient way to print abstract values right from debugger: - it should detect that value is tainted and return abstract print abstract values only in such case -...
fix wrong results: - [ ] ldv-regression/rule57_ebda_blast_2.yml - [ ] ldv-regression/test24-2.yml - [ ] ldv-regression/test25-1.yml - [ ] ldv-regression/test28-1.yml - [ ] ldv-regression/test29-1.yml
fix wrong results: - [ ] array-fpi/eqn4f.yml - [ ] array-fpi/eqn3f.yml - [ ] array-programs/copysome2-2.yml - [ ] array-programs/copysome1-2.yml - [ ] reducercommutativity/rangesum05.yml - [ ] array-industry-pattern/check_removal_from_set_after_insertion.yml - [ ]...