SourceMage Grimoire Bug List

[bugzilla-daemon AT bugs.sourcemage.org]

Bug ID	16160
Summary	[request] ikos
Product	New Spells
Version	unspecified
Hardware	x86
OS	Linux
Status	NEW
Severity	normal
Priority	P2
Component	Spell Submission
Assignee	sm-grimoire-bugs AT lists.ibiblio.org
Reporter	ismael AT iodev.co.uk
Classification	Unclassified

https://github.com/nasa-sw-vnv/ikos

Static analyzer for C/C++ based on the theory of Abstract Interpretation.

---

      You are receiving this mail because:

• You are the assignee for the bug.