Skip to Content.
Sympa Menu

sm-grimoire-bugs - [SM-Grimoire-Bugs] [Bug 16160] New: [request] ikos

sm-grimoire-bugs AT lists.ibiblio.org

Subject: SourceMage Grimoire Bug List

List archive

Chronological Thread  
  • From: bugzilla-daemon AT bugs.sourcemage.org
  • To: sm-grimoire-bugs AT lists.ibiblio.org
  • Subject: [SM-Grimoire-Bugs] [Bug 16160] New: [request] ikos
  • Date: Fri, 01 Dec 2023 12:20:53 +0000

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.


  • [SM-Grimoire-Bugs] [Bug 16160] New: [request] ikos, bugzilla-daemon, 12/01/2023

Archive powered by MHonArc 2.6.24.

Top of Page