issues
search
NASA-SW-VnV
/
ikos
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
Other
2.03k
stars
150
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Release 3.4
#288
ivanperez-keera
closed
1 day ago
0
Release IKOS 3.4
#287
ivanperez-keera
closed
1 day ago
0
analyzer: Allow snprintf(NULL, 0, ...) (#221).
#286
ivanperez-keera
closed
4 days ago
1
new release of ikos for space-ros
#280
asimonov
closed
1 week ago
4
analyzer: Add missing include (#273).
#278
ivanperez-keera
closed
1 week ago
0
Support LLVM 20
#277
DarkTyger
opened
3 weeks ago
1
Fix CI job for Mac due to image upgrade
#276
ivanperez-keera
closed
1 month ago
0
CI job for MacOS fails to build
#275
ivanperez-keera
closed
1 month ago
0
Fix for #273
#274
Mechazo11
closed
1 week ago
23
Unable to build v3.3 and 3.2 from source in Ubuntu 22.04
#273
Mechazo11
closed
1 week ago
5
could not install ikos for ubuntu 20.04
#271
aogrcs
closed
1 month ago
3
Debian 12 Bookworm Dockerfile w/ conan
#270
athatheo
closed
6 days ago
7
error: could not find ikos python module in FreeBSD package
#269
yurivict
opened
6 months ago
4
Release IKOS 3.3
#266
ivanperez-keera
closed
6 months ago
1
Dependency on ncurses is not listed
#265
ivanperez-keera
closed
6 months ago
1
TypeError in ikos-view with pygments 2.17.2
#264
gmacon
closed
6 months ago
0
Error due to lack of import
#263
ivanperez-keera
closed
8 months ago
2
Add some missing cstdint includes
#262
swt2c
closed
8 months ago
4
This code seems to have a double free issue.
#259
sipinlaoshi
closed
9 months ago
1
Update version number to 3.2 (#255).
#256
ivanperez-keera
closed
9 months ago
2
Release IKOS 3.2
#255
ivanperez-keera
closed
9 months ago
1
Update version number to 3.2-rc1 (#251).
#252
ivanperez-keera
closed
9 months ago
0
Release IKOS 3.2-rc1
#251
ivanperez-keera
closed
9 months ago
0
Bump copyright years in ikos CLI tool (c) notice (#249).
#250
ivanperez-keera
closed
9 months ago
0
IKOS tool reports a Copyright year that doesn't include latest changes
#249
ivanperez-keera
closed
9 months ago
0
Bump copyright years (#246).
#247
ivanperez-keera
closed
9 months ago
0
Bump copyright years
#246
ivanperez-keera
closed
9 months ago
1
Install the python module inside a virtual environment (#243)
#245
arthaud
closed
9 months ago
16
analyzer: Use `pip` module instead of tool to install IKOS (#242).
#244
ivanperez-keera
closed
9 months ago
0
`analyzer`: Installation script tries to install python package as system library
#243
ivanperez-keera
closed
9 months ago
0
`analyzer`: Installation script assumes `pip` tool is available
#242
ivanperez-keera
closed
9 months ago
0
[analyzer] Fix processing of llvm-objdump-14's output in ikos-scan (#203)
#240
ivanperez-keera
closed
10 months ago
0
Instruct users to install APRON from source (#78).
#239
ivanperez-keera
closed
10 months ago
0
Remove info on releases available on Github; move old history to `doc/`
#238
ivanperez-keera
closed
10 months ago
0
brew install nasa-sw-vnv/core/ikos fails at Apron patch
#237
andrewkcorcoran
closed
11 months ago
5
Replace Travis CI scripts with Github Actions scripts (#186).
#236
ivanperez-keera
closed
10 months ago
2
Adjust check of sqlite3 version on MacOS (#223).
#235
ivanperez-keera
closed
11 months ago
2
[analyzer] Use pip to install package (#233).
#234
ivanperez-keera
closed
11 months ago
3
`analyzer`: Install python scripts using alternative to `easy_install`
#233
ivanperez-keera
closed
11 months ago
0
Document limitation analyzing multi-threaded code (#124).
#232
ivanperez-keera
closed
11 months ago
1
[analyzer] Switch to using setuptools (#193, #185).
#231
ivanperez-keera
closed
11 months ago
3
[analyzer] Skip llvm-objdump lines by format, not count
#230
valpackett
closed
10 months ago
6
[analyzer] Use IPv6 when available. Close #158.
#229
ivanperez-keera
closed
10 months ago
2
[analyzer] Fix typo in doc string (#227).
#228
ivanperez-keera
closed
11 months ago
0
Typo in doc string
#227
ivanperez-keera
closed
11 months ago
1
Is there any documents about AR?
#226
zoush99
closed
1 year ago
2
Installation via Homebrew fails on Ubuntu 20.04
#225
bewagner
closed
9 months ago
19
Ikos failed to show simple interval invariant
#224
maxmunzel
closed
1 year ago
2
Installation on MacOS fails to find sqlite3
#223
maxmunzel
closed
11 months ago
4
Fix the unaligned pointer analysis check parameter in the README.md file
#222
asensi
closed
1 year ago
0
Next