Marvin – OSS static+dynamic code analysis system that finds bugs in Android appsgithub.com/programa-stic2 pointscujanovic10 years ago