Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | analyze-condition.c | 4472 | logplain |
-rw-r--r-- | analyze-condition.h | 179 | logplain |
-rw-r--r-- | analyze-security.c | 118412 | logplain |
-rw-r--r-- | analyze-security.h | 885 | logplain |
-rw-r--r-- | analyze-verify.c | 11057 | logplain |
-rw-r--r-- | analyze-verify.h | 1041 | logplain |
-rw-r--r-- | analyze.c | 108955 | logplain |
-rw-r--r-- | meson.build | 490 | logplain |
-rw-r--r-- | test-verify.c | 802 | logplain |