tai-e

Here are 5 public repositories matching this topic...

IntelliJ plugin for Tai-e (a static analysis framework)

intellij static-analysis intellij-plugin tai-e

Scaffolding project that uses Tai-e as a dependency.

java security static-analysis taint-analysis tai-e

NullPath: A static analysis tool for detecting NullPointerException (NPE) issues in Java code, built on the Tai-e framework.

java static-analysis analyzer code-quality npe nullpointerexception defect-detection tai-e

A CLI assignment submitter for Tai-e OJ

python nju nju-cs tai-e

Static program analysis assignments based on Tai-e

Add a description, image, and links to the tai-e topic page so that developers can more easily learn about it.

To associate your repository with the tai-e topic, visit your repo's landing page and select "manage topics."