spcl/perf-taint
Taint-based program analysis framework for empirical performance modeling.
LLVMBSD-3-Clause
Issues
- 7
Equally named files not possible
#34 opened by larissaschmid - 1
Incorrect handing of recursive calls.
#12 opened by mcopik - 0
Failure on program with no functions
#32 opened by mcopik - 2
- 0
First release
#36 opened by mcopik - 3
- 3
JSONConverter crashes
#30 opened by larissaschmid - 2
Accumulation of dependencies
#29 opened by larissaschmid - 0
Improve documentation
#31 opened by mcopik - 1
Deletion of labels
#28 opened by larissaschmid - 0
Registration of MPI functions
#27 opened by larissaschmid - 0
C++ code linting
#7 opened by mcopik - 0
Loop conditons with boolean short-circuit
#23 opened by mcopik - 0
Fixing issues with unreachable function
#22 opened by mcopik - 0
Representation of implicit (library) calls
#21 opened by mcopik - 1
Run our instrumentation after dfsan
#17 opened by mcopik - 3
Incorrect label aggregation across nested calls
#11 opened by mcopik - 0
Add library-side taint sources
#18 opened by mcopik - 0
Implicit calls in nested loop
#20 opened by mcopik - 0
Use LLVM SCEV for loops
#1 opened by mcopik - 1
Set up CI pipeline
#6 opened by mcopik - 1
Docker images for dfsan
#5 opened by mcopik - 0
Remove extrap annotation
#15 opened by mcopik - 0
Instrumentation of recursive calls.
#16 opened by mcopik - 1
Fix MPI test
#4 opened by mcopik - 0
Create JSON output in LLVM
#14 opened by mcopik - 0
GUI-like parameter report
#13 opened by mcopik - 0
Optimize runtime
#10 opened by mcopik - 0
Generate function names in processed JSON
#9 opened by mcopik - 0
Multithreaded implementation
#8 opened by mcopik - 0
Clean code
#3 opened by mcopik - 0
dfsan crash on some NAS-C benchmarks
#2 opened by mcopik