Used together with:
analyz
(1)
ansi
(1)
static
(1)
program
(1)
Stem
loopfrog$ (
all stems
)
1 papers:
ASE-2009-KroeningSTTW
#named
#source code
Loopfrog: A Static Analyzer for ANSI-C Programs (
DK
,
NS
,
ST
,
AT
,
CMW
), pp. 668–670.
Bibliography of Software Language Engineering in Generated Hypertext
(
BibSLEIGH
) is created and maintained by
Dr. Vadim Zaytsev
.
Hosted as a part of
SLEBOK
on
GitHub
.