search

c4-project / c4f

The C4 Concurrent C Fuzzer
MIT License
14 stars 1 forks source link

Single-file commands: extract symbols from C file #46

Closed MattWindsor91 closed 4 years ago

MattWindsor91 commented 5 years ago

Currently, the single-file commands (Litmusify and Explain) require the user to feed in the list of C heap symbols to track manually through the -track argument.

Ideally, when these commands encounter .c files, they should parse the C file, extract all of the global variables, and treat them as heap symbols.

This'll need us to be able to parse .c. There are some C parsers floating around on OCaml, but I'm not sure if any meet our needs (FrontC, for instance, is LGPL; Herd's C parser might work, but would need a lot of swizzling to work well with act).

MattWindsor91 commented 5 years ago

We now have a C parser, so this might not be far off.

MattWindsor91 commented 5 years ago

Putting on back burner for same reasons as #56 and #52.

MattWindsor91 commented 4 years ago

This seems unnecessary now; closing.