Master's Thesis "Garbage-Collector-Aware Static Analysis of OCaml C-stubs"#1944

Draft

RonaldJudin wants to merge 12 commits intogoblint:masterfrom

RonaldJudin:ocaml-stubs

Commits on Jan 9, 2026

OCaml C-stub analysis
Ronald Judin
committed

Commits on Jan 16, 2026

Added registering variables to analysis and new tests
Ronald Judin
committed

Commits on Jan 23, 2026

Analysis has tracking set, params are a list
Ronald Judin
committed

Commits on Jan 30, 2026

Deleted is_sink and is_source, added checking for pointers, added tracking and warning to special, experimented with SplitBranch
Ronald Judin
committed

Commits on Feb 5, 2026

Macros redefined in goblint_caml, SplitBranch checks type
Ronald Judin
committed

Commits on Feb 20, 2026

Undefs and working analysis with two varinfosets
Ronald Judin
committed

Commits on Mar 6, 2026

Reversed domain, added new tests, tried to automatically collect mainfuns
Ronald Judin
committed

Commits on Mar 20, 2026

Automatic collection of c-stubs and analysis support for function calls
Ronald Judin
committed

Commits on Mar 27, 2026

Support for entering and returning from functions
Ronald Judin
committed

Commits on Apr 5, 2026

Added separate function for everything assignment-like, distinguished between regular and correct returns, added apron test
Ronald Judin
committed

Commits on Apr 19, 2026

Changed assignment logic and deregistering at return, added warnings for memory leaks and registered null pointers, added tests
Ronald Judin
committed

Commits on Apr 29, 2026

Added tests, renamed ctx to man, changed enter assignment and check at return, added new domain with a stack (some bugs remain)

Ronald Judin
and
Copilot
committed