Loreon
Labs
Platform
Docs
Home
Ecosystems
Other
ic3
IC3: Inter-Component Communication Analysis in Android
Other
Emerging
GitHub
Website
Stars
—
Forks
—
Contributors
2
Last push
78mo ago
Recent commits
Latest commits.
Increased memory for Maven build.
dd135e9
Damien Octeau
131mo ago
Prepare to release version 0.2.0
476895b
Damien Octeau
131mo ago
Updated COAL version.
28e269b
Damien Octeau
131mo ago
Removed a common default method return value analysis, which is now in the COAL solver.
f7d2767
Damien Octeau
131mo ago
Added dump of manifest file.
c8ece4e
Damien Octeau
131mo ago
Merge branch 'protobuf' into develop
d97589c
Damien Octeau
131mo ago
Fixed a null pointer exception bug and added a comparison with traditional constant propagation.
1b2bace
Damien Octeau
132mo ago
Added a dependency.
1372de3
Damien Octeau
133mo ago
Top contributors
Builders behind this project.
docteau
32 commits
vitaliiavdiienko
1 commits
