Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

F

frama-c
- Activity
- Members
- Labels
- Issues
- Issue boards
- Milestones
- Wiki
- Incidents

Snippets Groups Projects

ad1d991e

Commit ad1d991e authored 4 years ago by Andre Maroneze

Downloads
- Plain Diff

Merge branch 'fix/eva/builtins-wide-string' into 'master'

[Eva] Fixes string builtins reading misaligned offsetmaps

See merge request frama-c/frama-c!2850

parents 4450d65f 82f1a0f6

No related branches found

No related tags found

No related merge requests found

Changes 3

Hide whitespace changes

Inline Side-by-side

Showing

src/plugins/value/domains/cvalue/builtins_string.ml 78 additions, 80 deletions

src/plugins/value/domains/cvalue/builtins_string.ml
tests/builtins/oracle/wcslen.res.oracle 68 additions, 14 deletions

tests/builtins/oracle/wcslen.res.oracle
tests/builtins/wcslen.c 32 additions, 0 deletions

tests/builtins/wcslen.c

with 178 additions and 94 deletions

Loading

0% Loading or .

You are about to add 0 people to the discussion. Proceed with caution.

Finish editing this message first!

Please register or sign in to comment