search

nimble-code / Cobra

An interactive (fast) static source code analyzer
136 stars 30 forks source link

Assertion failure on Basic rule set #46

Closed keck-in-space closed 2 years ago

keck-in-space commented 2 years ago

Hello,

I am seeing the following assertion error when running the basic rule set.

cobra: cobra_lib.c:600: clear_range: Assertion `z->upto > z->from' failed.

Any ideas what might be the cause?

nimble-code commented 2 years ago

thanks for reporting this -- yes, this is an issue I know about in the current release it will be fixed in the next one -- within a week or so