Skip to content

Changed assignment logic and deregistering at return, added warnings …

b4ff967
Select commit
Loading
Failed to load commit list.
Draft

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

Changed assignment logic and deregistering at return, added warnings …
b4ff967
Select commit
Loading
Failed to load commit list.
GitHub Advanced Security / Semgrep OSS succeeded Apr 19, 2026 in 3s

3 new alerts

New alerts in code changed by this pull request

  • 3 warnings

See annotations below for details.

View all branch alerts.

Annotations

Check warning on line 126 in src/analyses/ocaml.ml

See this annotation in the file changed.

Code scanning / Semgrep OSS

Semgrep Finding: semgrep.cilfacade Warning

use Cilfacade instead

Check warning on line 156 in src/analyses/ocaml.ml

See this annotation in the file changed.

Code scanning / Semgrep OSS

Semgrep Finding: semgrep.cilfacade Warning

use Cilfacade instead

Check warning on line 181 in src/analyses/ocaml.ml

See this annotation in the file changed.

Code scanning / Semgrep OSS

Semgrep Finding: semgrep.cilfacade Warning

use Cilfacade instead