Stars
4
stars
written in C++
Clear filter
A security focused static analysis tool for Android and Java applications.
Lab sessions for the software analysis course at East China Normal University.
Automatic testing tools with a general test oracle for detecting crashes and logic bugs in database systems