Ziyang Xu

Results 18 comments of Ziyang Xu

Based on discussion with Simone, the wrapper around malloc can be replaced with pre and post hook of malloc call. (currently done by pattern matching - function replacement) Note no...

SpecPriv will need to recognize all D0Ev destructors, since they can actually DELETE the object.

## SpecPriv Modifications - [ ] `available_externally` linkage type of functions, don't go in but rather recognize as external function - [ ] recognize allocation using LLVM memory builtins -...

Regression running nightly automatically. Currently, needs to manually sync the results to the AWS server to update visualization on http://13.58.206.207:8050/

The whole compilation takes 31G on my machine, and most of which is used by compiling LLVM. Currently, the framework is far from stable so compiling both DEBUG and RELEASE...

Bugs related to this example: - Noelle bug: no LC dep from A to B is A dom B - KillFlow bug: fixed - GlobalMalloc bug: triggered if the file...

NOELLE bug and killflow bug fixed in master. GlobalMalloc bug pending.

Malloc and free should be SemiLocal by default. It should set a Remedy for self dependences (commutative) or expose a flag for different clients to choose.