Restarting-Free Runtime Change Handling for Android Apps.
-
Updated
Aug 30, 2018 - HTML
#
program-analysis
Here are 3 public repositories matching this topic...
A static analyzer for Java, C, C++, and Objective-C.
c
java
facebook
cpp
static-analysis
ocaml
concurrency
program-analysis
abstract-interpretation
atomicity
facebook-infer
atomicity-violation
concurrent-programs
atomer
-
Updated
Apr 14, 2021 - HTML
LLVM implementation of Herbrand Equivalence algorithm
-
Updated
Jun 13, 2020 - HTML
Improve this page
Add a description, image, and links to the program-analysis topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the program-analysis topic, visit your repo's landing page and select "manage topics."