I try to follow your blog, but when I try to build s2e with s2e build , it shows that:
/home/s2e/s2e-workspace/source/s2e/libs2eplugins/src/s2e/Plugins/GoogleCTFUnbreakable.cpp:97:32: error:
no member named 'getSymbolicSolution' in 's2e::S2EExecutor'
if (!s2e()->getExecutor()->getSymbolicSolution(*state, results)) {
~~~~~~~~~~~~~~~~~~~~ ^
1 error generated.
Actually, as a beginner, I want to use s2e to solve some CTF problems instead of angr, but how to use a solver to solve the constraints ?
I try to follow your blog, but when I try to build s2e with
s2e build, it shows that:Actually, as a beginner, I want to use s2e to solve some CTF problems instead of angr, but how to use a solver to solve the constraints ?