A String analysis framework for Java and Android apps
Java PHP Other
Switch branches/tags
Nothing to show
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
Replication
Scripts
TestCases
code
code_automaton
executable
newApps
.gitignore
README.md

README.md

Violist: A String analysis framework for Java and Android apps

executable: our executable file and some market test cases

testcases: all of our test cases

We follow GPL license