Tests for future shadow memory feature#7479

Merged

peterschrammel merged 28 commits intodiffblue:developfrom

peterschrammel:shadow-memory-tests

Jan 17, 2023

Commits on Jan 16, 2023

Add taint analysis example test
peterschrammel
committed
Add tests for shadow memory of locals
peterschrammel
committed
Add test for shadow memory of globals
peterschrammel
committed
Add tests for shadow memory of static memory
peterschrammel
committed
Add tests for shadow memory of dynamic memory
peterschrammel
committed
Add test for shadow memory for chars
peterschrammel
committed
Add test for shadow memory for floats
peterschrammel
committed
Add tests for shadow memory for variable values
peterschrammel
committed
Add tests for shadow memory for structs and arrays
peterschrammel
committed
Add tests for integer-valued shadow memory access
peterschrammel
committed
Add tests for bool-valued shadow memory access
peterschrammel
committed
Add tests for shadow memory for unions
peterschrammel
committed
Add tests for integer-valued shadow memory access to unions
peterschrammel
committed
Add tests for bool-valued shadow memory access to unions
peterschrammel
committed
Add tests for shadow memory for string constants
peterschrammel
committed
Add tests for shadow memory for nondet-size arrays
peterschrammel
committed
Add test for shadow memory custom initialization
peterschrammel
committed
Add tests for shadow memory for function parameters
peterschrammel
committed
Add tests for shadow memory accessed via void pointers
peterschrammel
committed
Add tests for shadow memory via nondet struct accesses
peterschrammel
committed
Add tests for shadow memory that maybe accessed via NULL
peterschrammel
committed
Add tests for shadow memory of linked lists
peterschrammel
committed
Add test for shadow memory of __errno
peterschrammel
committed
Add test for shadow memory of getenv
peterschrammel
committed
Add tests for shadow memory for strdup
peterschrammel
committed
Add tests for shadow memory for memcpy
peterschrammel
committed
Add tests for shadow memory output in trace
peterschrammel
committed
Add tests for filtering shadow memory
peterschrammel
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Tests for future shadow memory feature#7479

Tests for future shadow memory feature#7479
peterschrammel merged 28 commits intodiffblue:developfrom
peterschrammel:shadow-memory-tests

Commits on Jan 16, 2023

Add taint analysis example test

Add tests for shadow memory of locals

Add test for shadow memory of globals

Add tests for shadow memory of static memory

Add tests for shadow memory of dynamic memory

Add test for shadow memory for chars

Add test for shadow memory for floats

Add tests for shadow memory for variable values

Add tests for shadow memory for structs and arrays

Add tests for integer-valued shadow memory access

Add tests for bool-valued shadow memory access

Add tests for shadow memory for unions

Add tests for integer-valued shadow memory access to unions

Add tests for bool-valued shadow memory access to unions

Add tests for shadow memory for string constants

Add tests for shadow memory for nondet-size arrays

Add test for shadow memory custom initialization

Add tests for shadow memory for function parameters

Add tests for shadow memory accessed via void pointers

Add tests for shadow memory via nondet struct accesses

Add tests for shadow memory that maybe accessed via NULL

Add tests for shadow memory of linked lists

Add test for shadow memory of __errno

Add test for shadow memory of getenv

Add tests for shadow memory for strdup

Add tests for shadow memory for memcpy

Add tests for shadow memory output in trace

Add tests for filtering shadow memory

Tests for future shadow memory feature#7479peterschrammel merged 28 commits intodiffblue:developdiffblue/cbmc:developfrom peterschrammel:shadow-memory-testspeterschrammel/cbmc:shadow-memory-testsCopy head branch name to clipboard

Commits

Commits on Jan 16, 2023

Tests for future shadow memory feature#7479
peterschrammel merged 28 commits intodiffblue:developfrom
peterschrammel:shadow-memory-tests