Line data Source code
1 : #include <seahorn/seahorn.h>
2 : #include <aws/common/hash_table.h>
3 : #include <string_helper.h>
4 : #include <nondet.h>
5 :
6 : int main(void)
7 150000 : {
8 150000 : /* hash value of ptr itself only, so deref should be illegal */
9 150000 : struct aws_string *str = ensure_string_is_allocated_bounded_length(MAX_BUFFER_SIZE);
10 150000 : /* This function has no pre or post conditions */
11 150000 : /* passively checks mem safety */
12 150000 : uint64_t rval = aws_hash_string(str);
13 150000 : return 0;
14 150000 : }
|