Tag
The author built jev-test-impact, a tool that uses Git diffs and static dependency analysis with Jev to score and run only relevant tests, aiming to improve regression recall in testing workflows.
ty has added the ability to detect always-true or always-false conditions in code, helping to prevent common mistakes such as forgetting to call a function in an if-statement.
A live code graph tool that combines static analysis and runtime traces to provide full-stack context for AI coding agents, enabling models like Sonnet to outperform Opus in production debugging.
The article compares AI-powered security tools that detect real code vulnerabilities beyond basic linting, with mentions of tools like Snyk, Semgrep, and Coderabbit.
This paper introduces PLLM+, a hybrid pipeline that combines deterministic replay of historical dependency configurations with LLM-based repair to resolve Python dependency conflicts, showing improved success rates and reduced runtime on the HG2.9K benchmark.
Treepeat is an open-source tool that uses Tree-sitter for code similarity detection, supporting multiple programming languages with features for finding duplicates, near-duplicates, and structurally similar code.
Benzi is an AI coding agent that outperforms competitors on benchmarks by reading less source code and using deterministic tool calls, achieving high efficiency in code intelligence tasks.
ImpactGate is a tool that measures and gates the structural decay introduced by code changes, using a scoring formula to encourage refactoring and maintain code quality.
The article highlights how coding agents introduce technical debt in software systems and proposes using tools like ArchUnitPython to enforce architectural rules and prevent structural issues.
Graphify C# is a free, headless indexer that uses Roslyn and MSBuild to provide compiler-accurate semantic indexing for C# code, enabling coding agents to perform precise find usages analysis.
Benzi is an AI coding assistant that avoids reading source code by using deterministic tool calls and static analysis, available as a VS Code extension and web demo for live GitHub repository analysis.
The article emphasizes the importance of tracking AI agent capabilities to prevent incidents, introducing SafeAI as a static analyzer tool for detecting configuration issues and instruction injection risks.
FF-16-TUI is an interactive static analysis tool that finds frequently occurring 16-bit patterns in binary files to help locate structures and understand file layout.
Benzi is a new agentic harness that minimizes source code reading by using deterministic intelligence, achieving better performance on benchmarks like SWE-bench with lower token usage and cost.
A tool that uses static analysis to automatically detect and patch unwinnable states in classic Sierra adventure games, ensuring games remain playable without deadlocks.
torch-preflight is a new linter for PyTorch code that catches common GPU-wasting bugs without executing code or requiring a GPU, plus estimates VRAM usage to check if a training run fits before paying for an instance.
The article explains how Go uses the `sync.noCopy` marker and the `go vet` tool to detect and warn about struct copies that could lead to concurrency issues.
John Regehr describes using tis-interpreter to search for undefined behavior in SQLite, finding bugs like dangling pointer uses and uninitialized reads that other tools missed.
GitGuardian data shows Claude Code commits leak secrets at 3.2% vs 1.5% human baseline; the SonarQube CLI integrates with Claude Code to detect secrets and run static analysis before code reaches production.
Niko Matsakis describes an alternative alias-based formulation of Rust's borrow checker, where regions are sets of loans rather than program points, with a working prototype that passes the NLL test suite.