polytracker

polytracker copied to clipboard

The wrapper for `gets` is defined here: https://github.com/trailofbits/polytracker/blob/master/polytracker/src/taint_sources/taint_sources.cpp#L315-L318 ```c++ EXT_C_FUNC char *__dfsw_gets(char *str, dfsan_label str_label, dfsan_label *ret_label) { long offset = ftell(stdin); char *ret = fgets(str, sizeof str, stdin); ```...

hbrodin

Uninstrumented functions in Nitro NITF parser

1

When I parse a nitf file with the Polytracker instrumented version of Nitro, DFSan notes uninstrumented functions. ### How to reproduce 1. Build the `Dockerfile-nitro-nitf.demo` and attach to the Docker...

kaoudis

Bumps [actions/download-artifact](https://github.com/actions/download-artifact) from 3 to 4.1.7. Release notes Sourced from actions/download-artifact's releases. v4.1.7 What's Changed Update @​actions/artifact dependency by @​bethanyj28 in actions/download-artifact#325 Full Changelog: https://github.com/actions/download-artifact/compare/v4.1.6...v4.1.7 v4.1.6 What's Changed updating @actions/artifact...

dependabot[bot]

kaoudis

- includes some of the hopefully descriptive pictures from the ISSTA paper - removes some stuff I don't think is entirely accurate or descriptive, and replaces it with references taken...

kaoudis

Usage documentation

3

Hi! We're trying to find tools to check correctness of a parser. I've been trying to run the poppler example, but is it normal the tdag is over 21 GB?...

lwli11

# What did this change break? I believe I've added enough tests / worked through enough failing tests that the answer is "nothing that impedes the expected functionality of PolyTracker"....

kaoudis