static-analyzer

Here are 3 public repositories matching this topic...

An ELF parser, which calculates stack usage for embedded mips microcontroller, especially for Microchip's XC32 compiler

Another program analyzer, that performs static Value and Interval analysis of C like UNRELIABLE programs

GISA is an implementation of "a very basic language" presented in 'Introduction to Static Analysis: An Abstract Interpretation Perspective.'

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

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