Sebastiano Mariani

Hi! I should have some test cases around for the regex part. Should I provide only SMT scripts or also the integration with solvers which support that theory? Which parts...

HI The sidebar implementation is already finished (for now it provides a "table of content" listing the file in the current directory and its sub-directories). I'm currently working on the...

Hi The project is currently dead and I don't have anymore the environment where I used to build this tool. However there is a fork of this project with updated...

Possible fix https://github.com/schemahero/schemahero/pull/1071

As @subwire said we are currently testing angr with the z3 version 4.8.5 and we still have a couple of problems to fix mostly related to the FP theory part....