code-analysis topic

Corax for Java: A general static analysis framework for java code checking.

Feysh-Group

Query-Based Code Analysis Engine

codefuse-ai

Type checking and logical inference for JetBrains MPS

JetBrains

The official repository of "GraphSPD: Graph-Based Security Patch Detection with Enriched Code Semantics". The paper will appear in the IEEE Symposium on Security and Privacy (S&P), San Francisco, CA,...

SunLab-GMU

Analyze your code as a crime scene !

fouadh

Mainstream SLAM framework source code analysis

JiauZhang

C# source generator for producing faster enum lookups

credfeto

Atom is a novel intermediate representation for applications and a standalone tool that is powered by chen.

AppThreat

Temporal code analyses at scale

HyperAST

A tool for analyzing and visualizing complex software architecture hierarchies

laindream