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