Add serialization tests for additional types #106
Assignees
Comments
This was referenced Jan 19, 2017
lenary
added a commit
that referenced
this issue
Jan 19, 2017
This should address all the types we need to test: - ptrs - array_ptrs - checked arrays - function pointers Adding to the tests of functions, global variables with bounds expressions, and structs with member bounds. Closes #106.
dtarditi
pushed a commit
that referenced
this issue
Aug 12, 2020
Address #106 ; will continue to investigate
dtarditi
pushed a commit
that referenced
this issue
Aug 12, 2020
dopelsunce
pushed a commit
to dopelsunce/checkedc-clang
that referenced
this issue
Sep 28, 2020
This updates some of the tests for checkedc#128 to make sure we get some warnings on super-simple dynamic checks that will fail. We probably want to be careful to only use the `-verify` flag in a few tests, so the tests are not too coupled to clang's constant folder/default optimization level/the accuracy of our implemented static analysis. I think it's fine in these tests, but probably no others.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
From issue #102:
As a follow up item, could you add additional tests for Ptr types, function pointer types, checked arrays, and structures with checked members that have bounds declarations? I would like to test that those types are serialized properly.
Issue #104 already covers structure types.
The text was updated successfully, but these errors were encountered: