Skip to content

Milestones

List view

  • - [ ] new structure (again) -- get rid of analysis folder and divide the project into folders according to analyses/parts (PointerAnalysis,ReachingDefinitions,DependenceGraph,ADT, ...) - [ ] sparse RD analysis done - [ ] Compositional RD analysis

    No due date
    12/20 issues closed
  • - [x] new poinst-to analyses, independent of backend - [x] make reaching-defs + def-use analyses use offset ranges - [ ] leaks removed (at least the major leaks) - [ ] graph is consistent after slicing - [x] source code refactored (get red of the ugly parts) - [x] support for higher versions of LLVM - [ ] generating cmake configuration - [ ] two-phase slicing - [ ] may: new control dependence algorithm - [ ] may: make slicing independent of backend (use virtual functions)

    Overdue by 7 year(s)
    Due by January 1, 2019
    27/32 issues closed