git-afsantos / haros

H(igh) A(ssurance) ROS - Static analysis of ROS application code.
MIT License
191 stars 37 forks source link

Declarative bonsai queries #59

Closed git-afsantos closed 4 months ago

git-afsantos commented 5 years ago

Just wanted to write a reminder for myself to, at some point, change the queries of the model extraction.

Most of this code is nearly duplicate, so I can figure out a way to generalize it and provide the query details via a data file.