Adrian Herrera
Adrian Herrera
Hellooooo DeepState devs (hey @pgoodman!), Here is my PR for adding S2E support to DeepState. Note that it requires some upstream changes to S2E that I haven't yet merged (or...
Analogous to [afl-showmap](https://github.com/google/AFL/blob/master/afl-showmap.c). Logs code coverage information to a file (in the same format as afl-showmap). This is my first time writing Rust, so I hope that it's okay!
Hi folks, I am trying to apply sea-dsa to some codebases where some functions contain only calls to `exit` or `abort` (e.g., error-handling functions). I am trying to construct the...
Attempts to fix issue #138 This occurs, for example, if a function calls `exit`. In this case, we still mark cells with `mem.in` markers. However, we only mark cells with...
As ideal sanitization is disabled by default, some seeds that immediately trigger a bug (e.g., the PHP Exif regression tests) are not pruned at https://github.com/HexHive/magma/blob/v1.1/magma/run.sh#L27 The run script should check...
The PR introduces a number of LLVM passes into the symbolize process. The `ExpandAsm` pass exploits LLVM's target lowering and its ability to expand inline assembly into explicit LLVM code....
Support for intrinsics that commonly popped up in code that I attempted to instrument :) Thoughts/comments welcome!
Changes are based on latest Angora. Also changed z3 build to CMake to make things more flexible. Everything works fine inside-and-outside Docker :)
Ported from upstream Angora (https://github.com/AngoraFuzzer/Angora/pull/107/)
Use the latest Rust. Now SymCC builds.