FreshPorts -- devel/ikos/files/patch-analyzer_python_ikos

As an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)Want a good monitor light? See my photosAll times are UTC

Bot filter coming soon

To deter bots pegging the database CPU to 100%, a bot testing filter to be added to the website. This should not affect newsfeeds etc. Anubis seems light-weight - it''''''''s already in use within the FreeBSD Project. This notice is just a heads up in case you see something odd. This notice will be updated after Anubis is installed.

non port: devel/ikos/files/patch-analyzer_python_ikos_analyzer.py

Number of commits found: 2

Thursday, 9 Jan 2025

12:22 Yuri Victorovich (yuri)

devel/ikos: update 3.2 → 3.5

Reported by:	portscout

dcb7376

Friday, 14 Dec 2018

17:34 yuri

New port: devel/ikos: Static analyzer for C/C++ based on theory of abstract
interpretation

Number of commits found: 2

Login
User Login Create account

Servers and bandwidth provided by
New York Internet, iXsystems, and RootBSD

This site
What is FreshPorts? About the authors Issues FAQ How big is it? Security Policy Privacy Blog Contact

Search
Enter Keywords: more...

Latest Vulnerabilities

firefox	May 14
firefox-esr	May 14
firefox-esr	May 14
thunderbird	May 14
thunderbird	May 14
vscode	May 14
libxslt	May 13
varnish7	May 12
firefox	May 11
firefox	May 11
firefox	May 11
firefox	May 11
firefox	May 11
firefox	May 11
firefox-esr	May 11

17 vulnerabilities affecting 283 ports have been reported in the past 14 days

^* - modified, not new

All vulnerabilities

Last processed:
2025-05-14 15:33:32 UTC

Ports
Home Categories Deleted ports Sanity Test Failures Newsfeeds

Statistics

Graphs
NEW Graphs (Javascript)

Calculated hourly:

Port count	33287
Broken	121
Deprecated	299
Ignore	237
Forbidden	1
Restricted	2
No CDROM	1
Vulnerable	35
Expired	35
Set to expire	244
Interactive	0
new 24 hours	0
new 48 hours	6
new 7 days	20
new fortnight	66
new month	118