search

GaloisInc / MATE

MATE is a suite of tools for interactive program analysis with a focus on hunting for bugs in C and C++ code using Code Property Graphs.
https://galoisinc.github.io/MATE/
BSD 3-Clause "New" or "Revised" License
177 stars 12 forks source link

`test_poi_use_after_free` fails #56

Closed langston-barrett closed 1 year ago

langston-barrett commented 1 year ago

On 4ce8832f6d5cf78773a0cf561c22b85f45e73121, 

docker-compose -f docker-compose.yml -f docker-compose.test.yml run -v "$(pwd):/mate" test -- -- -n=1 -k use_after_free

passes. On 39d9de715d3c0dbb6acc57dfbbaa60281c5300e7, it fails:

>       assert results == expected
E       assert {(69, 88)} == {(76, 95)}
E         Extra items in the left set:
E         (69, 88)
E         Extra items in the right set:
E         (76, 95)
E         Full diff:
E         - {(76, 95)}
E         + {(69, 88)}

tests/postgres/poi_analysis/use_after_free_test.py:61: AssertionError
thinkmoore commented 1 year ago

Hmmm, {(69,88)} is in fact the correct result set here. I'm guessing the lines got moved around somehow during a merge...

woodruffw commented 1 year ago

Yeah, this might have happened while cleaning up or replacing examples for open-sourcing.