Tags

working for assoc.c

a working version for hashmap benchmark

working version to compile memcached without color

version before working with rewriting malloc for colored struct

merged rewriting

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

version where structpass return exacly the same module as entered as a clone

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)

second refactored version

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