pith. sign in

Title resolution pending

5 Pith papers cite this work. Polarity classification is still indexing.

5 Pith papers citing it

citation-role summary

background 1 dataset 1

citation-polarity summary

years

2026 4 2024 1

clear filters

representative citing papers

Longitudinal Analyses of SAST Tools: A CodeQL Case Study

cs.CR · 2026-05-08 · unverdicted · novelty 7.0

CodeQL detected 171 CVEs total, with 83 caught by a prior version before the fix; detections were often actionable within the vulnerable file but not stable across tool versions.

NESA: Relational Neuro-Symbolic Static Program Analysis

cs.PL · 2024-12-18 · conditional · novelty 7.0

NESA presents a neuro-symbolic framework that decomposes static analyses into policy-defined sub-problems solved by parsers and LLMs to enable compilation-free customizable analysis with reduced hallucinations.

citing papers explorer

Showing 1 of 1 citing paper after filters.

  • NESA: Relational Neuro-Symbolic Static Program Analysis cs.PL · 2024-12-18 · conditional · none · ref 19

    NESA presents a neuro-symbolic framework that decomposes static analyses into policy-defined sub-problems solved by parsers and LLMs to enable compilation-free customizable analysis with reduced hallucinations.