Carson
Carson
When PolyTracker detects that a PDF caused an error, use delta debugging algorithms like ddmin to create a minimal PDF that triggers the error.
In our dockerfile when we create the new list mentioned in #49 we should make sure we dont have any conflicting information.
Hi, I'm having some issues building libdft-dta. I followed the instructions and was able to successfully build source and tools, but in the tools directory when I would run `make...
There were some issues with flattening GEP's for structs, vector and array types. I think it was a straightforward issue of checking the type in some other visitor functions, but...
We want to be able to mark certain instructions and stack locations with attributes. While talking with Peter he suggested that these two features might be useful to start -...
While working on the pointer lifter Peter gave me a test that brought up an interesting case. ``` BitCasts can give more information about intended types, lets look at this...
This is just a 1 line fix that handles integer consts that have the unsigned modifier. In LLVM 12, there are a few consts like 1U which the python script...
Hi, I saw on the homepage y'all were thinking about being able to hook directly into a running program. That sounds pretty cool, what does the roadmap look like?