LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

C++

ikos

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

C++Emerging

Stars

—

Forks

—

Contributors

1

Last push

84mo ago

Recent commits

Latest commits.

Add lib/pythonX.Y/site-packages in the python path
0a4d5d0Maxime Arthaud92mo ago
Update version number to 2.1
cd4b363Maxime Arthaud92mo ago
Add release notes for version 2.1
e643c92Maxime Arthaud92mo ago
[analyzer] Fix #14: disable sqlite journal and synchronization
2775717Maxime Arthaud92mo ago
[script] Do not install libc++ in the bootstrap script
5983f72Maxime Arthaud92mo ago

[doc] Update INSTALL_RHEL_7.6.md

1428617Maxime Arthaud92mo ago

[doc] Update INSTALL_RHEL_6.10.md

96183a8Maxime Arthaud92mo ago

[doc] Update INSTALL_ROOTLESS.md

6d23105Maxime Arthaud92mo ago

Top contributors

Builders behind this project.