What is Tai-e? Tai-e (Chinese: 太阿; pronunciation: [ˈtaɪə:]) is a new static analysis framework for Java (please see our technical …

What is Tai-e? Tai-e (Chinese: 太阿; pronunciation: [ˈtaɪə:]) is a new static analysis framework for Java (please see our technical …
Appshark is a static taint analysis platform to scan vulnerabilities in an Android app. Prerequisites Appshark requires a specific version …
Aura is a static analysis framework developed as a response to the ever-increasing threat of malicious packages and vulnerable code …
Pyre is a performant type checker for Python compliant with PEP 484. Pyre can analyze codebases with millions of lines …