A C/C++ code instrumenter used in DEAD
Project description
dead-instrument
is the instrumenter used in DEAD.
Build
Prerequisites: cmake
, make
, clang/llvm
13.
mkdir build
cd build
cmake ..
cmake --build . [--parallel]
cmake --install . --prefix=/where/to/install/
Usage
cat test.c
int foo(int a) {
if (a == 0)
return 1;
else {
a = 5;
}
return a;
}
dead-instrument test.c --
cat test.c
void DCEMarker0_(void);
void DCEMarker1_(void);
void DCEMarker2_(void);
int foo(int a) {
if (a == 0) {
DCEMarker0_();
return 1;
} else {
DCEMarker1_();
a = 5;
}
DCEMarker2_();
return a;
}
Python wrapper
pip install dead-instrumenter
To use the instrumenter in python import from dead_instrumenter.instrumenter import instrument_program
.
Calling instrument_program(filename:str) -> None
will instrument filename
.
Project details
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
Built Distribution
Close
Hashes for dead_instrumenter-0.0.1-py3-none-any.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 785084716758c8fdbfda874f8123b4c388d00598461a42250ebcc60d8de2fed5 |
|
MD5 | 164445e29e58ee4a4db3d27be92c2617 |
|
BLAKE2b-256 | 3f7bc5910eae7930bbbbc5df1e6b9cc59412ff9024863a005d33b08a175b70dd |