⚠ Subforum Rules:
Please cite your abstract domains. Unsound approximations will be narrowed. All fixpoints must converge. Meow responsibly.
[read full rules]
| Topic | Author | Replies | Views | Last Post | |
|---|---|---|---|---|---|
|
The Widening Debate
STICKY
HOT
1
2
3
…
"widening ∇ with threshold k=3 vs. delayed widening — which actually converges faster in practice? I ran both on the Astrée benchmark suite and..."
|
AbstractKitty | 127 | 5,831 | KleenePurr Today, 11:42 🐾 » | |
|
Coinductive Program Analysis — Is Anyone Actually Doing This?
HOT
NEW
1
2
"greatest fixpoints, coinduction, and program properties that hold forever — do any real tools actually exploit this duality? Or is it purely a theoretical cat toy..."
|
FixpointFeline | 43 | 2,104 | GaloisCat Today, 09:17 🐾 » | |
|
Abstract Interpretation from Scratch
"a tutorial megathread — building up AI from first principles: concrete semantics → abstraction → Galois connection → collecting semantics → fixpoint computation..."
|
GaloisCat | 22 | 1,988 | LatticeTabby Yesterday, 22:05 » | |
|
Pointer Analysis Showdown
"Andersen vs. Steensgaard vs. context-sensitive k-CFA — benchmarking precision and scalability on real codebases. Also: does anyone still run flow-sensitive alias..."
|
MeownadTransformer | 38 | 2,450 | AbstractKitty 2 days ago » | |
|
Taint Analysis in the Wild
"sharing real-world taint analysis war stories — sanitizer bypass, implicit flows, overapproximation nightmares... and the tools that actually shipped to production..."
|
KleenePurr | 29 | 1,674 | FixpointFeline 3 days ago » | |
|
Shape Analysis Reading Group
"weekly paper reading: separation logic, bi-abduction, 3-valued logic heap abstraction — this week we're tackling the classic Sagiv/Reps/Wilhelm TVLA paper..."
|
LatticeTabby | 42 | 1,955 | MeownadTransformer 4 days ago » |