The results on this page are outdated.

The AI detection definitions or scanner version have been updated! Re-scan this repository for more accurate results.

git.frama-c.com/pub/frama-c (link)

the signals and their derived score are provisional and subject to change.

validate manually before sharing.

mode
Full
last commit
b0ba50ce46b43878f5ddbc3445ca28025b0fcb69
analyzed on
Sun, 23 Aug 2026 01:11:53 +0000
total evidence
0
branch

commit signals (0)

none

source signals (0)

none

ignorefile signals (0)

none