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
Repository
9a45d44ae8dbef8c095ab4e3f4064676e2ee3067
Select Git revision
Branches
16
master
default
protected
bdesloges/coreutils
feature/aperrin/ctfs
new/cb-multios
sync-frama-c-master
test-gnugo
feature/STR2RTS
analysis/octagon
make-framac-local
add-bench-scripts
add-nginx
slow-remove-redundant-alarms
ltest-experimental
add-zlib
feature/new-cgc
feature/svcomp
Tags
1
MIEL-2023-10
17 results
open-source-case-studies
cerberus
.frama-c
Compare
Find file
Code
Clone with SSH
Clone with HTTPS
Open in your IDE
Visual Studio Code (SSH)
Visual Studio Code (HTTPS)
IntelliJ IDEA (SSH)
IntelliJ IDEA (HTTPS)
Download source code
zip
tar.gz
tar.bz2
tar
Download this directory
zip
tar.gz
tar.bz2
tar
Download
Download source code
zip
tar.gz
tar.bz2
tar
Copy HTTPS clone URL
Copy SSH clone URL
git@git.frama-c.com:pub/open-source-case-studies.git
Copy HTTPS clone URL
https://git.frama-c.com/pub/open-source-case-studies.git
synchronize with frama-c master
Andre Maroneze authored
1 month ago
9a45d44a
History
9a45d44a
1 month ago
History
Name
Last commit
Last update
..
besson_blazy_wilke_6_2.eva
besson_blazy_wilke_6_2.parse
besson_blazy_wilke_bitfields_1.eva
besson_blazy_wilke_bitfields_1.parse
besson_blazy_wilke_bitfields_1u.eva
besson_blazy_wilke_bitfields_1u.parse
besson_blazy_wilkie_Fig_1.eva
besson_blazy_wilkie_Fig_1.parse
besson_blazy_wilkie_Fig_1_adapted.eva
besson_blazy_wilkie_Fig_1_adapted.parse
besson_blazy_wilkie_Fig_2.eva
besson_blazy_wilkie_Fig_2.parse
cast_struct_and_first_member_1.eva
cast_struct_and_first_member_1.parse
cast_struct_inter_member_1.eva
cast_struct_inter_member_1.parse
cast_struct_isomorphic.eva
cast_struct_isomorphic.parse
cast_struct_same_prefix.eva
cast_struct_same_prefix.parse
cast_union_and_member_1.eva
cast_union_and_member_1.parse
cheri_01_deconst.eva
cheri_01_deconst.parse
cheri_02_container.eva
cheri_02_container.parse
cheri_03_ii.eva
cheri_03_ii.parse
cheri_03_ii_char.eva
cheri_03_ii_char.parse
cheri_04a_int_uintptr_t.eva
cheri_04a_int_uintptr_t.parse
cheri_04b_int_unsigned_long.eva
cheri_04b_int_unsigned_long.parse
cheri_05_ia.eva
cheri_05_ia.parse
cheri_06_mask.eva
cheri_06_mask.parse
cheri_07_wide.eva
cheri_07_wide.parse
cheri_08_last_word.eva
cheri_08_last_word.parse
compcertMMv2-1.eva
compcertMMv2-1.parse
compcertMMv2-2.eva
compcertMMv2-2.parse
compcertMMv2-3.eva
compcertMMv2-3.parse
compcertMMv2-4.eva
compcertMMv2-4.parse
compcertMMv2-5.eva
compcertMMv2-5.parse
compcertTSO-1.eva
compcertTSO-1.parse
compcertTSO-2.eva
compcertTSO-2.parse
effective_type_1.eva
effective_type_1.parse
effective_type_10.eva
effective_type_10.parse
effective_type_2.eva
effective_type_2.parse
effective_type_5.eva
effective_type_5.parse
effective_type_6.eva
effective_type_6.parse
effective_type_7.eva
effective_type_7.parse
effective_type_8.eva
effective_type_8.parse
effective_type_9.eva
effective_type_9.parse
frama-c-2013-03-13-2.eva
frama-c-2013-03-13-2.parse
frama-c-2013-03-13-3-uc.eva
frama-c-2013-03-13-3-uc.parse
frama-c-2013-03-13-3.eva
frama-c-2013-03-13-3.parse
khmgzv-1.eva
khmgzv-1.parse
khmgzv-2.eva
khmgzv-2.parse
klw-itp14-1.eva
klw-itp14-1.parse
klw-itp14-2.eva
klw-itp14-2.parse
krebbers_biener_1.eva
krebbers_biener_1.parse
null_pointer_1.eva
null_pointer_1.parse
null_pointer_2.eva
null_pointer_2.parse
null_pointer_3.eva
null_pointer_3.parse
null_pointer_4.eva
null_pointer_4.parse
padding_10.eva
padding_10.parse
padding_struct_copy_1.eva
padding_struct_copy_1.parse
Loading
Loading
Loading
Loading
Loading
Loading
Loading
Loading
Loading
Loading
Loading
Loading
Loading
Loading
Loading