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