issues
search
mr-ma
/
composition-framework
1
stars
3
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Segmentation fault
#30
mr-ma
closed
5 years ago
0
oh/sroh manifests/constraints seem to be faulty
#29
mr-ma
opened
5 years ago
7
better-ilp takes far more longer to max explicit and implicit objectives
#28
mr-ma
opened
5 years ago
1
Precise Implicit Instruction Coverage
#27
dennisfischer
closed
5 years ago
4
Missing programs for the evaluation
#26
mr-ma
opened
5 years ago
2
ILP fails to find a solution for crc when objective is either of explicit or implicit coverage
#25
mr-ma
opened
5 years ago
4
ILP fails to find a solution for the toast program
#24
mr-ma
opened
5 years ago
10
Endless ILP loop on Susan/tetris
#23
mr-ma
opened
5 years ago
7
Scripts for result verification
#22
dennisfischer
opened
5 years ago
2
Add an objective to max the number of manifests
#21
mr-ma
closed
5 years ago
1
Command-line option to set the objective function/goal
#20
mr-ma
closed
5 years ago
3
Command-line options to feed in constraints
#19
mr-ma
closed
5 years ago
1
Build dependency constraints between Vanilla-OH hash and assert calls
#18
mr-ma
closed
5 years ago
4
Row name too long crashes GLPK api/prob1.c
#17
dennisfischer
closed
5 years ago
1
Objective coefficients seem to be incorrect
#16
mr-ma
opened
5 years ago
8
Add implicit block coverage constraint to the ILP optimization
#15
mr-ma
opened
5 years ago
2
Add explicit block coverage constraint to the ILP optimization
#14
mr-ma
opened
5 years ago
6
Block coverage of manifests
#13
mr-ma
closed
5 years ago
2
Covered instructions of OH/SROH (possibly other) manifests appear to be wrong
#12
mr-ma
closed
5 years ago
9
Bundle sroh_hash and sroh_assert calls that reside on the same path into one manifest
#11
mr-ma
closed
5 years ago
1
Total instructions should correspond to the actual count of sensitive instructions
#10
mr-ma
closed
5 years ago
2
Bugfixes and code implementation
#9
dennisfischer
closed
5 years ago
0
Precise implicit coverage given duplicate edges
#8
mr-ma
closed
5 years ago
1
Refactor ProtectionGraph::ilpConflictHandling
#7
mr-ma
closed
5 years ago
0
Model implicit coverage as ILP problem
#6
mr-ma
closed
5 years ago
1
Composition fails for tetris
#5
mr-ma
closed
5 years ago
3
Dump CFI block coverage in the stats
#4
mr-ma
closed
5 years ago
0
Handle cycles instead of avoiding them
#3
mr-ma
opened
5 years ago
0
Run fails with GEP is not of right type for indices for PreservedValueRegistry example.
#2
dennisfischer
opened
6 years ago
0
Using a CallGraph to create the CFG leads to a SIGSEGV
#1
dennisfischer
opened
6 years ago
1