#staticanalysis

Comments that outlived errors Many static analyzers enable suppressing individual warnings directly in code via special comments. Over time, the number of such comments in projects increases. Some of them lose their relevance yet....

1 week ago

Old suppressed warnings in static analyzers are like dusty magnets on a fridge—they just sit there long after becoming irrelevant.

Our new pvs-fp-cleaner tool automatically detects redundant false alarm markers. We tested it on real projects and wrote about it

#DevTool #StaticAnalysis #Development

0 0 0 0

roxsross

@roxsross.bsky.social

3 weeks ago

🔍 Checkmarx amplía la detección de vulnerabilidades a la herramienta de IA Kiro de AWS

Su extensión para IDE analiza código en tiempo real para hallar fallos an

devops.com/checkmarx-extends-vulner...

#AppSec #DevSecOps #StaticAnalysis #RoxsRoss

0 0 0 0

Release Mago 1.4.0 · carthage-software/mago This release brings significant improvements including method call assertions, a new parser configuration section, fault-tolerant parsing, new linter fixers, and numerous bug fixes addressing false...

1 month ago

Mago 1.4.0: New Parser. 3x faster. Fault-tolerant. Ready for LSP. 🚀

Plus method call assertions, new fixers, and 20+ bug fixes. 🐞

github.com/carthage-sof...

#PHP #Mago #StaticAnalysis

1 0 1 0

CodeKudu AI - Automatically Fixes Bugs CodeKudu is an AI tool built specifically for Laravel applications. It performs static analysis on your code, automatically fixes bugs, and refactors it to

1 month ago

Big codebase.
Big decision.
No one knows how it’s wired.

Syntaxa shows the real structure.
Beta waitlist open --> syntaxa.ai

#DevTools #SoftwareArchitecture #StaticAnalysis #Syntaxa

0 0 1 0

TechNadu

@technadu.com

1 month ago

Brakeman scans Rails applications by reading source code directly, helping teams spot security issues early without running the app.
It’s a reminder that not all security testing needs to happen in production-like environments.

#AppSec #Rails #StaticAnalysis #SecureDevelopment #TechNadu

1 0 0 0

FreeWithAI.com

@freewithai.bsky.social

1 month ago

CodeKudu AI – Automatically Fixes Bugs

#CodeKudu #LaravelTools #AIAssistant #StaticAnalysis #CodeRefactoring #BugFixes #SecureCode #CleanCode #LaravelDevelopment #TechInnovation #FreeWithAI

freewithai.com/codekudu-ai/

2 0 0 0

1 month ago

Scaling a system is easy.
Scaling understanding is not.

That’s the problem we’re solving.
Join the waitlist --> syntaxa.ai

#DevTools #SoftwareArchitecture #StaticAnalysis #Syntaxa

1 0 0 0

GitHub - bladestan/bladestan: PHPStan analysis for Blade templates PHPStan analysis for Blade templates. Contribute to bladestan/bladestan development by creating an account on GitHub.

1 month ago

Your docs say one thing. Your code does another.

Syntaxa scans the source of truth and outputs:

> Real architecture
> True dependencies
> Human-readable docs

No guesswork. Just signal.
Join syntaxa.ai

#DevTools #SoftwareArchitecture #StaticAnalysis #Syntaxa

1 0 0 0

Anders Jenbo

@ajenbo.bsky.social

1 month ago

🚀 Bladestan 0.11.4 is out!
Find bugs in your Blade templates with static analysis.
This version adding support for:
⚡️ Livewire 3.7 & 4.0
🎼 Symfony 8

Check it out here: github.com/bladestan/bladestan

#phpstan #laravel #php #livewire #staticanalysis

0 0 0 0

Hasamba

@hasamba72.bsky.social

1 month ago

Trail of Bits Skills is a Claude Code plugin marketplace offering security skills: smart‑contract scanners (6 blockchains), CodeQL/Semgrep static analysis, constant-time-analysis, and DWARF tools. #tool #staticanalysis #smartcontracts https://bit.ly/3Nn2EBo

0 0 0 0

1 month ago

Your repo already contains the architecture.
It’s just hard to see.

Syntaxa extracts system structure, dependencies, and risks, automatically.

#StaticAnalysis #CodeQuality #DevTools #Syntaxa

0 0 0 0

2 months ago

If this looks familiar, you don’t need better commit names.
You need better codebase visibility.

Syntaxa = architectural intelligence for your repo.

Admit it. You’ve been there.

#DevHumor #ProgrammerLife #CodeArchitecture #StaticAnalysis #DevTools #Syntaxa

0 0 0 0

Release Mago 1.1.0 · carthage-software/mago Mago 1.1.0 This release includes a significant number of new features, bug fixes, and improvements across the formatter, analyzer, linter, and codex. Note: This release includes a breaking change i...

2 months ago

Mago 1.1.0 is out! 🎉

- Formatter presets (PSR-12, PER-CS, & more)
- @'mixin annotation support
- Docblock type mismatch detection
- Pest PHP lint rules
- Tons of bug fixes

github.com/carthage-sof...

#PHP #Mago #StaticAnalysis

0 0 0 0

Notum Robotics

@n-r.hr

2 months ago

AI‑driven Rust‑style analysis could finally give C++ the safety checks it deserves, but training data quality will make or break it. 🤖 #staticanalysis

Building a Rust-Style Static Analyzer for C++ with AI

0 0 0 0

2 months ago

Your architecture is either documented… or quietly charging interest every day.
Syntaxa generates real architecture intelligence directly from your codebase.
No diagram theater. No stale docs.

Beta waitlist: syntaxa.ai

#DevTools #StaticAnalysis #Syntaxa

1 0 0 0

2 months ago

Mago 1.0 is live. 🦊 🚀

✅ Linter
✅ Formatter
✅ Static Analyzer
✅ Architectural Guard

A unified, oxidized PHP toolchain. 🦀🐘

github.com/carthage-sof...

#PHP #StaticAnalysis #Linter

18 7 0 2

2 months ago

ARCHITECTURE: LOADED
DEPENDENCIES: MAPPED
DESIGN: UNDERSTOOD

Syntaxa: syntaxa.ai

#Syntaxa #RetroComputing #DevTools #SoftwareDesign #StaticAnalysis

2 0 0 0

LavX News

@lavxnews.bsky.social

2 months ago

Firefox's static analysis prototype stalled when ASTImporter failed to import cross-file constructs. Exposes challenges of scaling static analysis to complex multi-file codebases. #StaticAnalysis

0 0 1 0

2 months ago

Writing docs by hand in 2025 is a bug.
Syntaxa generates architecture maps, dependency graphs, and explanations directly from your code.

RUN SYNTAXA TO CONTINUE: syntaxa.ai

#DevTools #SoftwareArchitecture #StaticAnalysis
#AIForDevs #Codebase #Programming #Syntaxa

4 0 0 0

Dyalog

@dyalog.bsky.social

3 months ago

Static Analysis of APL for Tooling and Compliance // Aaron Hsu and Brandon Wilson // DYNA Fall 2025 YouTube video by Dyalog User Meetings

The presentation recordings from DYNA Fall 2025 are now being published. Watch (or rewatch!) "Static Analysis of APL for Tooling and Compliance" by Aaron Hsu and Brandon Wilson at www.youtube.com/watch?v=d4pR... #DYNA #Dyalog #APL #StaticAnalysis #SoftwareDevelopment

1 0 0 0

Hasamba

@hasamba72.bsky.social

3 months ago

Autonomous security research framework RAPTOR combines Claude Code agents with Semgrep, CodeQL, AFL, radare2 and rr for scanning, fuzzing, crash analysis, PoC generation and patch proposals. #tool #fuzzing #staticanalysis https://bit.ly/48C2Val

0 0 0 0

JavaScript failed your tests In this article, we′ll discuss how a harmless-looking line of JavaScript code caused test instability in a product and how to prevent such issues.

3 months ago

In this article, we'll discuss how a harmless-looking line of JavaScript code caused test instability in a product and how to prevent such issues.

pvs-studio.com/en/blog/post...

#StaticAnalysis #JavaScript #testing #typescript #VisualStudioCode #framework #UI #programming

1 0 0 0

Code legacy: Analyzing Erlang′s C and C++ modules that have been running for decades Code for some Erlang/OTP modules is older than most modern junior developers. These files are the true digital patriarchs. For decades, they have made sure that banking transactions, telephone...

4 months ago

We decided to take a look under the hood of this long-lived language to see what exactly lies behind the lines that millions of users rely on today. In this article, let's see what we found.

pvs-studio.com/en/blog/post...

#cpp #StaticAnalysis #static_analyzer #cppprogramming #erlang #programming

0 0 0 0

Release Mago 1.0.0-rc.1 · carthage-software/mago Mago 1.0.0-rc.1 🎉 We're excited to announce Mago 1.0.0-rc.1, a major milestone toward the 1.0.0 release! This release candidate includes significant performance improvements, comprehensive type sys...

4 months ago

👋

#php #formatter #linter #staticanalysis #mago

github.com/carthage-sof...

2 0 0 0

#cpp #StaticAnalysis #static_analyzer #cppprogramming #Task_PVS #programming

4 months ago

0 0 0 0

#Java #StaticAnalysis #static_analyzer #Javaprogramming #Task_PVS #programming

4 months ago

2 1 0 0