'Program Analysis' trends

Domains containing the tag 'Program Analysis'

Bounce ratePages / VisitVisit duration

1whiley.org
Whiley: an Open Source Programming Language with Extended Static Checking
A hybrid object-oriented and functional programming language which compiles to the JVM.
Whiley is an open source programming language which runs on the JVM and uses extended static checking to eliminate errors at compile time.

n/a 1.00 n/a

2ret2.io
Ret2 Systems
Ret2 is a computer security research firm that strives to reimagine vulnerability research, program analysis, and security education as it exists today.

n/a 1.00 n/a

3karimali.ca
Karim Ali | NYU Abu Dhabi
Karim Ali's home page

36.27 2.76 01:16

4aisec.cc
18th ACM Workshop on Artificial Intelligence and Security (AISec 2025)
AI and Security Workshop (AISec)

77.04 1.14 00:14

5triton-library.github.io
Triton: A dynamic binary analysis library
Triton: A dynamic binary analysis library

40.48 1.03 28:49

6semgrep.com
Semgrep
Find bugs, run security scans in CI, and enforce security standards across your organization.

n/a 0.00 n/a

7ret2.systems
RET2 Systems
RET2 is a computer security research firm that strives to reimagine vulnerability research, program analysis, and security education as it exists today.

n/a 0.00 n/a