search

goblint / cil

C Intermediate Language
https://goblint.github.io/cil/
Other
136 stars 20 forks source link

Add feature for Syntactic Search #21

Closed michael-schwarz closed 4 years ago

michael-schwarz commented 4 years ago

This adds a new feature to ext that provides a syntactic search in a CIL AST. This is a prerequisite of https://github.com/goblint/analyzer/pull/112, but since the feature is independent of Goblint, we added it to CIL.

The work in this PR is the result of @faddeenkov's Bachelor's thesis.