search

angr / rex

Shellphish's automated exploitation engine, originally created for the Cyber Grand Challenge.
BSD 2-Clause "Simplified" License
636 stars 102 forks source link

`test_rex.test_reconstraining` is failing in CI #98

Closed twizmwazin closed 9 months ago

twizmwazin commented 1 year ago

Description

Traceback (most recent call last):
  File "/__w/rex/rex/build/src/rex/tests/test_rex.py", line 405, in test_reconstraining
    assert _do_pov_test(x)
AssertionError

Steps to reproduce the bug

Run CI

Environment

CI

Additional context

No response

ltfish commented 1 year ago

According to my last debugging attempt, this issue is caused by Z3 sometimes returning random values that would lead to memory writes that will crash the binary instead of properly pwning it. I think the solution is improving the test case.

Kyle-Kyle commented 9 months ago

closed as we are not seeing it recently