UTBotCpp icon indicating copy to clipboard operation
UTBotCpp copied to clipboard

Error case configurator [analyzer]

Open ladisgin opened this issue 3 years ago • 0 comments

Description In many cases UTBot generate unused ERROR cases like pointers to incorrect pointers #325, structs with null as pointer #314 On other hand some people want find more problems in their code like signed, unsigned overflow #244

Expected behavior Simple possibility to choose what ERROR we want in tests like [no error, auto, all error] for UTBot And more complex configurator for ERROR for future analyzer

Potential solution Add possibility to configurator for sanitizer that we use or maybe filter ERROR cases after generation.

ladisgin avatar Jul 15 '22 09:07 ladisgin