Open Hub
Open Hub

 Settings |  Report Duplicate

0
I Use This!
Inactive

Commits : Listings

Analyzed 1 day ago. based on code collected 1 day ago.
Aug 18, 2025 — Aug 18, 2026
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
AA: Add a TODO regarding support of LLVM intrinsics.
Petr Ročkai
as Petr Rockai
More... over 12 years ago
test: Update README.
Petr Ročkai
as Petr Rockai
More... over 12 years ago
test: Split up and slightly improve functional tests.
Petr Ročkai
as Petr Rockai
More... over 12 years ago
AA: Handle phi nodes.
Petr Ročkai
as Petr Rockai
More... over 12 years ago
AA: Fix handling of global variables.
Petr Ročkai
as Petr Rockai
More... over 12 years ago
AA: Fix possible infinite loops in Andersen.
Petr Ročkai
as Petr Rockai
More... over 12 years ago
test: Use divine verify -p poinsto to check AA results.
Petr Ročkai
as Petr Rockai
More... over 12 years ago
test: Improve test code slightly.
Petr Ročkai
as Petr Rockai
More... over 12 years ago
AA: Create AMLs for global variables.
Petr Ročkai
as Petr Rockai
More... over 12 years ago
AA: Track calls, returns and heap (malloc) memory.
Petr Ročkai
as Petr Rockai
More... over 12 years ago
AA: More TODO for constraint creation.
Petr Ročkai
as Petr Rockai
More... over 12 years ago
AA: Fill in some details on how to represent context trees.
Petr Ročkai
as Petr Rockai
More... over 12 years ago
AA: Implement aa_use annotations, abolish aa_global.
Petr Ročkai
as Petr Rockai
More... over 12 years ago
AA: Factor some verbosity out of metadata node creation.
Petr Ročkai
as Petr Rockai
More... over 12 years ago
AA: Generate copy constraints for bitcast, inttoptr, ptrtoint.
Petr Ročkai
as Petr Rockai
More... over 12 years ago
AA: Implement copy constraints (and fix deref).
Petr Ročkai
as Petr Rockai
More... over 12 years ago
AA: Also generate per-value (non-AML) annotations in Andersen.
Petr Ročkai
as Petr Rockai
More... over 12 years ago
AA: Fix a typo.
Petr Ročkai
as Petr Rockai
More... over 12 years ago
test: Add a slightly more interesting testcase for AA.
Petr Ročkai
as Petr Rockai
More... over 12 years ago
AA: Implement the global (AML) part of Andersen::annotate(...).
Petr Ročkai
as Petr Rockai
More... over 12 years ago
AA: TODO -- need to create AMLs & constraints for heap allocs.
Petr Ročkai
as Petr Rockai
More... over 12 years ago
AA: Solve the three basic constraints in Andersen (ref, deref, store).
Petr Ročkai
as Petr Rockai
More... over 12 years ago
AA: Fix constraint generation in Andersen.
Petr Ročkai
as Petr Rockai
More... over 12 years ago
AA: Bootstrap the worklist in Andersen::solve().
Petr Ročkai
as Petr Rockai
More... over 12 years ago
AA: Implement some very basic IR -> constraint conversion.
Petr Ročkai
as Petr Rockai
More... over 12 years ago
AA: Factor out push/pop in Andersen.
Petr Ročkai
as Petr Rockai
More... over 12 years ago
AA: Add a rudimentary aa::Pass <-> Andersen interface.
Petr Ročkai
as Petr Rockai
More... over 12 years ago
AA: Sketch out a class for a simple Andersen-style analysis.
Petr Ročkai
as Petr Rockai
More... over 12 years ago
AA: Sketch out some bits of the Info class.
Petr Ročkai
as Petr Rockai
More... over 12 years ago
cmake: Build aa/anderson.cpp.
Petr Ročkai
as Petr Rockai
More... over 12 years ago