sm-grimoire-bugs AT lists.ibiblio.org
Subject: SourceMage Grimoire Bug List
List archive
[SM-Grimoire-Bugs] [Bug 16160] New: [request] ikos
- 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.