Handle dependences from/to malloc and free

PrincetonUniversity / SCAF

A Speculation-Aware Collaborative Dependence Analysis Framework

MIT License

28 stars 6 forks source link

Handle dependences from/to malloc and free #2

Open vgene opened 3 years ago

vgene commented 3 years ago

Malloc and free are (removed)[https://github.com/PrincetonUniversity/SCAF/commit/c9795b00ac5bf302128a55ba0c9d064bda72722f] from PureFun.h, but this introduces a lot of dependences are led to results of swaptions and dijkstra from Perspective not reproducible.

Need to figure out a proper way to handle it.

vgene commented 3 years ago

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.