DeforaNetworks/deepstate
3
0
Fork 0
Code Releases Activity

note it's STRLEN not length including null, expand Runlen size

Browse Source
This commit is contained in:
Alex Groce 2019-01-01 22:43:57 -07:00
parent 483e827c64
commit 6cbb4f479a
2 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
examples/Runlen.cpp
View File

@ -45,7 +45,7 @@ void printBytes(const char* bytes) {
}
// Can be (much) higher (e.g., > 1024) if we're using fuzzing, not symbolic execution
#define MAX_STR_LEN 6
#define MAX_STR_LEN 8
TEST(Runlength, EncodeDecode) {
char* original = DeepState_CStrUpToLen(MAX_STR_LEN);

6
src/include/deepstate/DeepState.h
View File

@ -166,11 +166,11 @@ extern void DeepState_SymbolizeDataNoNull(void *begin, void *end);
* concrete pointer to the beginning of the concretized data. */
extern void *DeepState_ConcretizeData(void *begin, void *end);
/* Assign a symbolic C string of length `len` with only chars in allowed,
* if allowed is non-null */
/* Assign a symbolic C string of _strlen_ `len` -- with only chars in allowed,
* if allowed is non-null; needs space for null + len bytes */
extern void DeepState_AssignCStr_C(char* str, size_t len, const char* allowed);
/* Return a symbolic C string of length `len`. */
/* Return a symbolic C string of strlen `len`. */
extern char *DeepState_CStr_C(size_t len, const char* allowed);
/* Symbolize a C string */