-
memcached_nocolor
working version to compile memcached without color
-
before_treating_malloc
version before working with rewriting malloc for colored struct
-
before_changing_way_to_treat_while
before changing the way to treat while: all basic block following the colored while basic block should also have the same color
-
working.14
Access untrusted GlobalVariables from enclaves via a ppinter globals
-
working.12
initialisation of colored struct work for global cases. Malloc a struct didn't work yet
-
working.10
A working version of color propagation part with working storeInst part
-
working.9
a complete working version for static analysis part of the DSL (after solving most of the known issues)
-
working.7
More explicit error printing
-
working.6
memory corruption error solved
-
working.5
refactored codebase
-
working.4
corrected a bug by a adding a test in Sgxpass.h InstructionAttributes stabilize()
-
working.3
working version with function IGNORE
-
basic_block_working
working version of basic block algo
-
basic_block_start
working version befor starting with basic blocks
-
working.2
first compiling and working version after radical change of def use approach