Footer

Your go-to destination for discovering trending open-source projects and uncovering the insights that matter

Legal

  • Terms and conditions
  • Privacy policy

More

  • Pricing
  • Advertise
  • onedump
  • gosnakego
  • Contact us

Social

  • X (Twitter)
  • GitHub
Trendshift owl
What they build speaks louder than words
© 2026 Trendshift, created by Julian Li with ❤️
SignalAdvertise
Trendshift
SignalAdvertise
Sign in
Trendshift owl

Discover trends that matter

DailyWeeklyMonthlyYearly
Live mentionsTopics
RepositoriesDevelopers
InsightsStats
AxiomCode
AxiomCode
Busbar
Busbar
Bifrost
Bifrost

S2E/s2e

S2E: A platform for multi-path program analysis with selective symbolic execution.

Visit GitHub
C++
527
96
29 contributors
Custom license
website
FeaturedAdvertise to 180K+ monthly visitors
AxiomCode

Give Al Agents a Deeper Understanding of Your Codebase with a Code Graph

Busbar

Control what AI can do before it acts

Bifrost

Enterprise AI Gateway Built For Scale: Route, Govern, and Secure All Your AI Traffic

Momentum

How fast S2E/s2e is gaining stars, and where it lands on Trendshift and GitHub Trending

Activity and trending

Stars, forks and merged pull requests each day or month, lined up with the repository's rank on Trendshift Trending

Oct 17 – Oct 19, 2026

Stars +1 in 3 days

01
1

Forks +0 in 3 days

01

Merged PRs 0 in 3 days

01

Trendshift Trendingwhere the repository ranked each day it made the top 25

Not in the Trendshift top 25 in this period

Oct 17Oct 18Oct 19
The left and right arrow keys step from day to day; Home and End go to the first and the last

Stars, forks, merged pull requests and Trendshift Trending rank, by day
DayStars gainedForks gainedMerged PRs
Sat, Oct 17, 2026+0+00
Sun, Oct 18, 2026+0+00
Mon, Oct 19, 2026+1+00
Total+1+00
  • 1#1 on the list
  • 7Rank that day
  • Not trending

You might also like

Repositories close to S2E/s2e
FeaturedAdvertise to 180K+ monthly visitors
AxiomCode

Give Al Agents a Deeper Understanding of Your Codebase with a Code Graph

Bifrost

Enterprise AI Gateway Built For Scale: Route, Govern, and Secure All Your AI Traffic

Busbar

Control what AI can do before it acts

klee/klee

C++

KLEE Symbolic Execution Engine

3k642

GaloisInc/crucible

Haskell

Crucible is a library for symbolic simulation of imperative programs

77948

JonathanSalwan/Triton

C++

Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.

4.3k589

R-Fuzz/symsan

C++

A LLVM Sanitizer for Symbolic Tracing and Under-Constrained Execution

24230

angr/claripy

Python

An abstraction layer for constraint solvers.

335105

panda-re/panda

C

Platform for Architecture-Neutral Dynamic Analysis

2.8k475

DynamoRIO/dynamorio

C

Dynamic Instrumentation Tool Platform

3.2k624

angr/angr

Python

A powerful and user-friendly binary analysis platform!

9.2k1.2k

vivisect/vivisect

Python
1k162