#

abstract-interpretation

Here are 2 public repositories matching this topic...

naim-mr / refunction

Abstract Interpretation-based Static Analysis for (Conditional) Termination, Termination Resilience and CTL Properties

analysis static termination vulnerability-detection ctl abstract-interpretation liveness-analysis

Updated Dec 19, 2025
HTML

suem / function

static-analysis ocaml abstract-interpretation

Updated Apr 18, 2018
HTML

Improve this page

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

Curate this topic

Add this topic to your repo

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