Skip to content
GitLab
Explore
Sign in
Primary navigation
Search or go to…
Project
open-source-case-studies
Manage
Activity
Members
Labels
Plan
Issues
Issue boards
Milestones
Wiki
Code
Merge requests
Repository
Branches
Commits
Tags
Repository graph
Compare revisions
Snippets
Build
Pipelines
Jobs
Pipeline schedules
Artifacts
Deploy
Releases
Container Registry
Model registry
Operate
Environments
Monitor
Incidents
Analyze
Value stream analytics
Contributor analytics
CI/CD analytics
Repository analytics
Model experiments
Help
Help
Support
GitLab documentation
Compare GitLab plans
Community forum
Contribute to GitLab
Provide feedback
Keyboard shortcuts
?
Snippets
Groups
Projects
Show more breadcrumbs
pub
open-source-case-studies
Merge requests
!6
Feature/new cgc
Code
Review changes
Check out branch
Download
Patches
Plain diff
Open
Feature/new cgc
feature/new-cgc
into
master
Overview
3
Commits
22
Pipelines
0
Changes
182
Open
Dario Pinto
requested to merge
feature/new-cgc
into
master
4 years ago
Overview
3
Commits
22
Pipelines
0
Changes
37
Expand
0
0
Merge request reports
Compare
version 10
version 16
6f9d83d2
4 years ago
version 15
dc74d1ee
4 years ago
version 14
1fec1386
4 years ago
version 13
83a31df7
4 years ago
version 12
90c39364
4 years ago
version 11
a62db1a6
4 years ago
version 10
4de2623b
4 years ago
version 9
2e4ee208
4 years ago
version 8
5dff3999
4 years ago
version 7
cd4d2cbc
4 years ago
version 6
7c230a01
4 years ago
version 5
711195fc
4 years ago
version 4
682b3bd2
4 years ago
version 3
26509386
4 years ago
version 2
9b0ef155
4 years ago
version 1
5ad96422
4 years ago
master (HEAD)
and
version 15
latest version
6f9d83d2
22 commits,
2 years ago
version 16
6f9d83d2
22 commits,
4 years ago
version 15
dc74d1ee
21 commits,
4 years ago
version 14
1fec1386
21 commits,
4 years ago
version 13
83a31df7
20 commits,
4 years ago
version 12
90c39364
19 commits,
4 years ago
version 11
a62db1a6
18 commits,
4 years ago
version 10
4de2623b
18 commits,
4 years ago
version 9
2e4ee208
17 commits,
4 years ago
version 8
5dff3999
17 commits,
4 years ago
version 7
cd4d2cbc
17 commits,
4 years ago
version 6
7c230a01
16 commits,
4 years ago
version 5
711195fc
13 commits,
4 years ago
version 4
682b3bd2
12 commits,
4 years ago
version 3
26509386
10 commits,
4 years ago
version 2
9b0ef155
9 commits,
4 years ago
version 1
5ad96422
9 commits,
4 years ago
Show latest version
37 files
+
13795
−
39
Inline
Compare changes
Side-by-side
Inline
Show whitespace changes
Show one file at a time
Some changes are not shown
For a faster browsing experience, some files are collapsed by default.
Expand all files
Files
37
Search (e.g. *.vue) (Ctrl+P)
cgc-challenges/BudgIT/.frama-c/BudgIT.eva/alarms.csv
0 → 100644
+
68
−
0
Options
directory file line function property kind status property
CGC_LIB common.c 139 int2str_dPcdd signed_overflow Unknown -2147483648 ≤ i * (int)(-1)
CGC_LIB common.c 139 int2str_dPcdd signed_overflow Unknown i * (int)(-1) ≤ 2147483647
CGC_LIB common.c 147 int2str_dPcdd signed_overflow Unknown idx + 1 ≤ 2147483647
CGC_LIB common.c 148 int2str_dPcdd signed_overflow Unknown -2147483648 ≤ tmp / 10
CGC_LIB common.c 148 int2str_dPcdd signed_overflow Unknown tmp / 10 ≤ 2147483647
CGC_LIB common.c 160 int2str_dPcdd signed_overflow Unknown (int)(-1) * (int)(i % 10) ≤ 2147483647
CGC_LIB common.c 160 int2str_dPcdd signed_overflow Unknown -2147483648 ≤ (int)(-1) * (int)(i % 10)
CGC_LIB common.c 160 int2str_dPcdd signed_overflow Unknown -2147483648 ≤ i % 10
CGC_LIB common.c 160 int2str_dPcdd signed_overflow Unknown i % 10 ≤ 2147483647
CGC_LIB common.c 161 int2str_dPcdd signed_overflow Unknown (int)'0' + digit ≤ 2147483647
CGC_LIB common.c 161 int2str_dPcdd signed_overflow Unknown -2147483648 ≤ (int)'0' + digit
CGC_LIB common.c 162 int2str_dPcdd signed_overflow Unknown -2147483648 ≤ i / 10
CGC_LIB common.c 162 int2str_dPcdd signed_overflow Unknown i / 10 ≤ 2147483647
CGC_LIB libcgc.c 28 cgc_transmit precondition of write Unknown buf_has_room: \valid_read((char *)buf + (0 .. count - 1))
FRAMAC_SHARE/libc string.h 115 memset precondition Unknown valid_s: valid_or_empty(s, n)
FRAMAC_SHARE/libc string.h 138 strcmp precondition Unknown valid_string_s2: valid_read_string(s2)
FRAMAC_SHARE/libc string.h 352 strcpy precondition Unknown room_string: \valid(dest + (0 .. strlen(src)))
FRAMAC_SHARE/libc unistd.h 1133 write precondition Unknown buf_has_room: \valid_read((char *)buf + (0 .. count - 1))
src map.c 40 cgc_initMap precondition of memset Unknown valid_s: valid_or_empty(s, n)
src map.c 49 cgc_initMap ptr_comparison Unknown \pointer_comparable((void *)0, (void *)map_ptr)
src map.c 49 cgc_initMap initialization Unknown \initialized(&map_ptr->key[0])
src map.c 49 cgc_initMap mem_access Unknown \valid_read(&map_ptr->key[0])
src map.c 62 cgc_setMap ptr_comparison Unknown \pointer_comparable((void *)map_ptr, (void *)0)
src map.c 62 cgc_setMap initialization Unknown \initialized(&map_ptr->next)
src map.c 62 cgc_setMap mem_access Unknown \valid_read(&map_ptr->next)
src map.c 63 cgc_setMap precondition of strcmp Unknown valid_string_s2: valid_read_string(s2)
src map.c 79 cgc_setMap mem_access Unknown \valid(&map_ptr->next)
src map.c 83 cgc_setMap initialization Unknown \initialized(&map_ptr->key[0])
src map.c 83 cgc_setMap mem_access Unknown \valid_read(&map_ptr->key[0])
src map.c 84 cgc_setMap precondition of strcpy Unknown room_string: \valid(dest + (0 .. strlen(src)))
src map.c 87 cgc_setMap mem_access Unknown \valid(&map_ptr->value)
src map.c 94 cgc_getValue ptr_comparison Unknown \pointer_comparable((void *)map_ptr, (void *)0)
src map.c 94 cgc_getValue initialization Unknown \initialized(&map_ptr->next)
src map.c 94 cgc_getValue mem_access Unknown \valid_read(&map_ptr->next)
src map.c 95 cgc_getValue ptr_comparison Unknown \pointer_comparable((void *)0, (void *)((char *)map_ptr->key))
src map.c 95 cgc_getValue precondition of strcmp Unknown valid_string_s2: valid_read_string(s2)
src map.c 96 cgc_getValue initialization Unknown \initialized(&map_ptr->value)
src map.c 96 cgc_getValue mem_access Unknown \valid_read(&map_ptr->value)
src map.c 106 cgc_getSize ptr_comparison Unknown \pointer_comparable((void *)map, (void *)0)
src map.c 111 cgc_getSize initialization Unknown \initialized(&last->next)
src map.c 111 cgc_getSize mem_access Unknown \valid_read(&last->next)
src map.c 111 cgc_getSize ptr_comparison Unknown \pointer_comparable((void *)last->next, (void *)0)
src map.c 111 cgc_getSize signed_overflow Unknown size + 1 ≤ 2147483647
src map.c 125 cgc_removeMap ptr_comparison Unknown \pointer_comparable((void *)map_ptr, (void *)0)
src map.c 125 cgc_removeMap initialization Unknown \initialized(&map_ptr->key[0])
src map.c 125 cgc_removeMap mem_access Unknown \valid_read(&map_ptr->key[0])
src map.c 125 cgc_removeMap initialization Unknown \initialized(&map_ptr->next)
src map.c 125 cgc_removeMap mem_access Unknown \valid_read(&map_ptr->next)
src map.c 126 cgc_removeMap precondition of strcmp Unknown valid_string_s2: valid_read_string(s2)
src map.c 132 cgc_removeMap ptr_comparison Unknown \pointer_comparable((void *)0, (void *)map_ptr)
src map.c 136 cgc_removeMap initialization Unknown \initialized(&map_ptr->next)
src map.c 136 cgc_removeMap mem_access Unknown \valid_read(&map_ptr->next)
src map.c 138 cgc_removeMap initialization Unknown \initialized(&map_ptr->next)
src map.c 138 cgc_removeMap mem_access Unknown \valid(&prev_map_ptr->next)
src map.c 138 cgc_removeMap mem_access Unknown \valid_read(&map_ptr->next)
src map.c 140 cgc_removeMap precondition of memset Unknown valid_s: valid_or_empty(s, n)
src service.c 68 cgc_sendReport initialization Unknown \initialized(&mapPtr->value)
src service.c 68 cgc_sendReport mem_access Unknown \valid_read(&mapPtr->value)
src service.c 68 cgc_sendReport signed_overflow Unknown -2147483648 ≤ totalBalance + mapPtr->value
src service.c 68 cgc_sendReport signed_overflow Unknown totalBalance + mapPtr->value ≤ 2147483647
src service.c 79 cgc_sendReport initialization Unknown \initialized(&mapPtr->next)
src service.c 79 cgc_sendReport mem_access Unknown \valid_read(&mapPtr->next)
src service.c 102 main initialization Unknown \initialized(&instruction)
src service.c 105 main initialization Unknown \initialized(&value)
src service.c 127 main initialization Unknown \initialized(&value)
src service.c 127 main signed_overflow Unknown -2147483648 ≤ budget - value
src service.c 127 main signed_overflow Unknown budget - value ≤ 2147483647
Loading