Carson

Use Blight instead of PolyBuild

1

Polybuild was taken by the other team and improved into a new standalone tool called blight. It has all of polybuilds features and more, we should swap to it when...

Fix shadow memory access bug

1

In PolyTracker/PolyTracker LLVM DFsan read label is not working correctly, most likely because of

Its not optimal to check if we've hit main to start tracking, it adds additional branches on all of our logging. There are probably some systems level things we can...

Call stack mismatch unwinding/handling

1

Peter pointed out that there might be a need for stack unwinding for setjmp/longjmp. We also have cases like in jq where pthread_once calls instrumented code creating a mismatch in...

Peter had a really good catch, that in places like logFunctionExit I had const references which would push constant values into memory. This prevents further optimizations the compiler could do.

I think when reasoning about dataflow this is important, its more overhead, but worth it and low hanging fruit.

Create FunctionCall event for reasoning about uninstrumented code in post processing

- [ ] Add documentation showing how to write custom wrappers for target functions ~- [ ] Create an interface for creating new custom taint wrappers without modifying polytracker/dfsan code~...

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...

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...