polytracker

polytracker copied to clipboard

Some parsers use strtok to parse input streams. They provide the input string and a delimiter, and it will split the input into chunks. This can help us determine which...

carsonharmon

Create handler for SIGTERM to exit cleanly

1

Sometimes when parsing a large file, or running a file through a complex parser, it might use up lots of resources and memories. Create a signal handler to handle SIGTERM...

carsonharmon

Visualize Temporal Taint Patterns

5

Now that we maintain temporal information for when specific bytes are operated on, it would be interesting (although perhaps not _useful_) to visualize it as an animated GIF. 1. Represent...

ESultanik

Delta debugging for PDF minimization

1

When PolyTracker detects that a PDF caused an error, use delta debugging algorithms like ddmin to create a minimal PDF that triggers the error.

carsonharmon

In our dockerfile when we create the new list mentioned in #49 we should make sure we dont have any conflicting information.

carsonharmon

It would be useful for testing & evaluation purposes to have both release AND debug builds of PolyTracker-instrumented mupdf. Let's update `Dockerfile.demo` to build and install BOTH variants, and also...

bradlarsen

In the demo Dockerfiles, for mupdf, qpdf, and pdfium, the code is pulled down from git and a pinned revision or tag is not used. This adds a source of...

bradlarsen

We currently encounter a few build-time warnings when building polytracker. We should remediate them -- either change the code in question, or determine that the particular warning type isn't useful...

bradlarsen

surovic

surovic