First Last Prev Next    This bug is not in your last search results.
Bug 16160 - [request] ikos
: [request] ikos
Status: NEW
Product: New Spells
Classification: Unclassified
Component: Spell Submission
: unspecified
: x86 Linux
: P2 normal
Assigned To: Grimoire Bug List
Depends on:
Blocks:
  Show dependency tree / graph
 
Reported: 2023-12-01 12:20 UTC by Ismael Luceno
Modified: 2023-12-01 12:20 UTC (History)
0 users

See Also:

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Ismael Luceno 2023-12-01 12:20:53 UTC 
https://github.com/nasa-sw-vnv/ikos

Static analyzer for C/C++ based on the theory of Abstract Interpretation.
First Last Prev Next    This bug is not in your last search results.