Marek Chalupa
Marek Chalupa
The command `llvm-slicer -sc malloc test_slice.bc` (irrespective of `-cutoff-diverging`) creates an executable backward slice w.r.t every call of `malloc` or (possible) use of variable with name `malloc` -- so yes,...
Hi, could you please provide a pull-request? Thanks.
Test how uninitialized memory works in our analyses...
This is now something that should be considered in a new PTA analysis that takes into the account also undefined behaviour and possible bugs.
And also memory dependence analysis
For AA, create a wrapper that will take just the partial results (as AA are alias analyses) and propagate as much information as it can into other nodes. For the...
Will there be any new commits as this is still a draft?
Hi, yes, you'd need to change DefUse.cpp that adds def-use edges to add write-after-read edges. Cheers, Marek
This has a small problem that we would lose the number of the components (we would need to count them). We can may just add iterators that would iterate over...
WIP in pta-impr branch