rems-project / cerberus

Cerberus C semantics
https://www.cl.cam.ac.uk/~pes20/cerberus/
Other
53 stars 28 forks source link

[CN] More flexible --skip command #528

Open peterohanley opened 3 months ago

peterohanley commented 3 months ago

I would like --skip to allow arguments to be regular expressions, and if possible some kind of --skip-file argument that skips all functions with their declaration in a given file (also a regex, and known from source information). This will be useful for specification of small parts of large projects, especially when there are inline definitions in headers that do not pass CN checking.

podhrmic commented 3 months ago

@thatplguy this is important for analyzing the Lynx OS code

dc-mak commented 4 weeks ago

Related: #314