search

moralismercatus / crete

Open source concolic testing tool for binaries
1 stars 1 forks source link

Validate that only valid configuration options are present #169

Open moralismercatus opened 8 years ago

moralismercatus commented 8 years ago

In the various XML configurations, ensure that only valid nodes exist.

For example, is only allows in crete.vm. However, misplacing it in crete.svm, or crete is an invalid placement. This should be reported.