Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
pub
open-source-case-studies
Commits
0ba3404a
Commit
0ba3404a
authored
Feb 22, 2021
by
Andre Maroneze
💬
Browse files
[c-testsuite] add new case study
parent
929ed1f1
Changes
1000
Hide whitespace changes
Inline
Side-by-side
Too many changes to show.
To preserve performance only
1000 of 1000+
files are displayed.
Plain diff
Email patch
Makefile
View file @
0ba3404a
...
...
@@ -53,6 +53,7 @@ TARGETS=\
2048
\
basic-cwe-examples
\
bench-moerman2018
\
c-testsuite
\
cerberus
\
chrony
\
debie1
\
...
...
README.md
View file @
0ba3404a
...
...
@@ -127,6 +127,8 @@ when available. We also summarize the license of each directory below.
-
`2048`
: MIT
-
`basic-cwe-examples`
: see
`LICENSE`
-
`bench-moerman2018`
: MIT
-
`c-testsuite`
: see
`LICENSE`
and
`LICENSE-tests`
-
`cerberus`
: see
`LICENSE`
-
`chrony`
: GPL
-
`debie1`
: distribution and use authorized by Patria Aviation Oy,
Space Systems Finland Ltd. and Tidorum Ltd, see
`README.txt`
...
...
c-testsuite/.frama-c/00001.eva/alarms.csv
0 → 100644
View file @
0ba3404a
directory file line function property kind status property
c-testsuite/.frama-c/00001.eva/metrics.log
0 → 100644
View file @
0ba3404a
[metrics] Eva coverage statistics
=======================
Syntactically reachable functions = 1 (out of 1)
Semantically reached functions = 1
Coverage estimation = 100.0%
[metrics] Statements analyzed by Eva
--------------------------
2 stmts in analyzed functions, 2 stmts analyzed (100.0%)
main: 2 stmts out of 2 (100.0%)
c-testsuite/.frama-c/00001.eva/nonterm.log
0 → 100644
View file @
0ba3404a
c-testsuite/.frama-c/00001.eva/warnings.log
0 → 100644
View file @
0ba3404a
c-testsuite/.frama-c/00001.parse/framac.ast
0 → 100644
View file @
0ba3404a
/* Generated by Frama-C */
int main(void)
{
int __retres;
__retres = 0;
return __retres;
}
c-testsuite/.frama-c/00001.parse/metrics.log
0 → 100644
View file @
0ba3404a
[metrics] Defined functions (1)
=====================
main (0 call);
Specified-only functions (0)
============================
Undefined and unspecified functions (0)
=======================================
'Extern' global variables (0)
=============================
Potential entry points (1)
==========================
main;
Global metrics
==============
Sloc = 2
Decision point = 0
Global variables = 0
If = 0
Loop = 0
Goto = 0
Assignment = 1
Exit point = 1
Function = 1
Function call = 0
Pointer dereferencing = 0
Cyclomatic complexity = 1
c-testsuite/.frama-c/00001.parse/warnings.log
0 → 100644
View file @
0ba3404a
c-testsuite/.frama-c/00002.eva/alarms.csv
0 → 100644
View file @
0ba3404a
directory file line function property kind status property
c-testsuite/.frama-c/00002.eva/metrics.log
0 → 100644
View file @
0ba3404a
[metrics] Eva coverage statistics
=======================
Syntactically reachable functions = 1 (out of 1)
Semantically reached functions = 1
Coverage estimation = 100.0%
[metrics] Statements analyzed by Eva
--------------------------
2 stmts in analyzed functions, 2 stmts analyzed (100.0%)
main: 2 stmts out of 2 (100.0%)
c-testsuite/.frama-c/00002.eva/nonterm.log
0 → 100644
View file @
0ba3404a
c-testsuite/.frama-c/00002.eva/warnings.log
0 → 100644
View file @
0ba3404a
c-testsuite/.frama-c/00002.parse/framac.ast
0 → 100644
View file @
0ba3404a
/* Generated by Frama-C */
int main(void)
{
int __retres;
__retres = 3 - 3;
return __retres;
}
c-testsuite/.frama-c/00002.parse/metrics.log
0 → 100644
View file @
0ba3404a
[metrics] Defined functions (1)
=====================
main (0 call);
Specified-only functions (0)
============================
Undefined and unspecified functions (0)
=======================================
'Extern' global variables (0)
=============================
Potential entry points (1)
==========================
main;
Global metrics
==============
Sloc = 2
Decision point = 0
Global variables = 0
If = 0
Loop = 0
Goto = 0
Assignment = 1
Exit point = 1
Function = 1
Function call = 0
Pointer dereferencing = 0
Cyclomatic complexity = 1
c-testsuite/.frama-c/00002.parse/warnings.log
0 → 100644
View file @
0ba3404a
c-testsuite/.frama-c/00003.eva/alarms.csv
0 → 100644
View file @
0ba3404a
directory file line function property kind status property
c-testsuite/.frama-c/00003.eva/metrics.log
0 → 100644
View file @
0ba3404a
[metrics] Eva coverage statistics
=======================
Syntactically reachable functions = 1 (out of 1)
Semantically reached functions = 1
Coverage estimation = 100.0%
[metrics] Statements analyzed by Eva
--------------------------
3 stmts in analyzed functions, 3 stmts analyzed (100.0%)
main: 3 stmts out of 3 (100.0%)
c-testsuite/.frama-c/00003.eva/nonterm.log
0 → 100644
View file @
0ba3404a
c-testsuite/.frama-c/00003.eva/warnings.log
0 → 100644
View file @
0ba3404a
Prev
1
2
3
4
5
…
50
Next
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment