|
Failed to load latest commit information. |
|
hooks
|
- Fixed taint-tag specific hooks for libdft_tag_set_fdoff.
|
Mar 16, 2017
|
|
samples
|
Updated readme.
|
Jun 4, 2014
|
|
support
|
Updated libdft submodule.
|
Mar 16, 2017
|
|
.gitignore
|
Added makefile for provtoolbox.
|
Apr 16, 2015
|
|
.gitmodules
|
Initial DataTracker commit.
|
Apr 7, 2014
|
|
LICENCE.md
|
Initial DataTracker commit.
|
Apr 7, 2014
|
|
Makefile
|
Support for cross-compiling on intel64.
|
Mar 16, 2017
|
|
Makefile.rules
|
Properly passing taint type flags to libdft.
|
Mar 16, 2017
|
|
README.md
|
Updated README with cross-compile info.
|
Mar 16, 2017
|
|
TODO.md
|
Added todo list.
|
Mar 16, 2017
|
|
dtracker.H
|
Avoid using potentially reserved names as header guards.
|
Mar 16, 2017
|
|
dtracker.cpp
|
Todo notes.
|
Mar 16, 2017
|
|
dtracker_debug.H
|
Avoid using potentially reserved names as header guards - part 2.
|
Mar 16, 2017
|
|
dtracker_debug.cpp
|
modlines and indentation
|
Mar 16, 2017
|
|
osutils.H
|
Avoid using potentially reserved names as header guards - part 2.
|
Mar 16, 2017
|
|
osutils.cpp
|
modlines and indentation
|
Mar 16, 2017
|
|
provlog.H
|
Avoid using potentially reserved names as header guards - part 2.
|
Mar 16, 2017
|
|
provlog.cpp
|
Fixed UFDMap. Added tag aggregation for libdft_tag_bitset.
|
Mar 16, 2017
|
|
raw2dsl.py
|
NONE range temp fix
|
May 2, 2015
|
|
raw2ttl.py
|
Fixes. Added pid to RawConverter.
|
Apr 16, 2015
|