1 search result for "tag:"static analysis""

Showing 1 - 1
  1. goblint
    Documentation
    Static analysis framework for C
    program analysis program verification static analysis abstract interpretation C data race analysis concurrency
    Simmo Saan Michael Schwarz Julian Erhard Sarah Tilscher Karoliine Holter et al.
    2.6.0
    MIT
    Used by 0 other packages
    05 Sep 2025