#StaticAnalysis
LightNews LightNews
carthage.software
Mago 1.0 is live. 🦊 🚀

✅ Linter
✅ Formatter
✅ Static Analyzer
✅ Architectural Guard

A unified, oxidized PHP toolchain. 🦀🐘

github.com/carthage-sof...

#PHP #StaticAnalysis #Linter
December 20, 2025 at 12:42 AM
icepfl.bsky.social
Today, we are at the IC Colloquium by Pavle Subotic about Abstract Interpretation on irregular programming environments.
This talk explores how static analysis and abstract interpretation can bring software engineering rigor to real-world data workflows.
#EPFL #IC #StaticAnalysis
September 24, 2026 at 3:15 PM
carthage.software
Results of analyzing the same code block using Mago, Psalm, and PHPStan.

Which one do you prefer? 👀

#php #rust #typechecking #staticanalysis
May 24, 2025 at 3:22 AM
cody-programmer08.bsky.social
#Java #StaticAnalysis #static_analyzer #Javaprogramming #Task_PVS #programming
November 7, 2025 at 1:34 PM
carthage.software
I haven't shared any progress about mago here recently, but big things are coming!

#rust #php #staticanalysis #mago
May 20, 2025 at 7:10 AM
syntaxa.bsky.social
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
December 16, 2025 at 1:36 PM
syntaxa.bsky.social
ARCHITECTURE: LOADED
DEPENDENCIES: MAPPED
DESIGN: UNDERSTOOD

Syntaxa: syntaxa.ai

#Syntaxa #RetroComputing #DevTools #SoftwareDesign #StaticAnalysis
December 18, 2025 at 3:08 PM
gurubase.bsky.social
Check out PMD 🔍
"An extensible multilanguage static code analyzer"

https://github.com/pmd/pmd
#java #StaticAnalysis #OpenSource
December 3, 2024 at 1:34 PM
ajenbo.bsky.social
🚀 Bladestan 0.10.0 released. Component properties are now automatically recognized, improved Livewire support, automatic recognition of some vendor provided components, fix getting data from variables and some other bugs.

github.com/bladestan/bl...

#phpstan #laravel #php #staticanalysis
github.com
February 15, 2025 at 9:04 PM
agoncal.bsky.social
@stephanjanssen.be how do you pass the Java code to @devoxxgenie.bsky.social ? This looks interesting : github.com/brandondocus...
GitHub - brandondocusen/CntxtJV: Java Codebase Analyzer for Efficient Use of LLM Context Windows #LLM #AI #Java #CodeAnalysis #ContextWindow #DeveloperTools #StaticAnalysis #CodeVisualization
Java Codebase Analyzer for Efficient Use of LLM Context Windows #LLM #AI #Java #CodeAnalysis #ContextWindow #DeveloperTools #StaticAnalysis #CodeVisualization - brandondocusen/CntxtJV
github.com
November 28, 2024 at 3:34 PM
graalvm.org
SkipFlow, an extension of the points-to analysis in Native Image, can reduce binary size by an average of 6.35% without increasing build time. Learn more about it: medium.com/graalvm/skip...
#GraalVM #Java #StaticAnalysis
SkipFlow: Producing Smaller Executables with GraalVM
Points-to analysis is a crucial part of every GraalVM Native Image build. In this blog post, we present SkipFlow, an extension of our…
medium.com
April 16, 2025 at 12:44 PM
weld.bsky.social
Interesting approach of combining static analysis with LLM reasoning to find vulnerabilities in code. www.linkedin.com/posts/ai4cod...
Mayur Naik on LinkedIn: #neurosymbolic #llms #codeql #staticanalysis #securitybugs
My talk on finding security vulnerabilities by combining classical symbolic reasoners with modern-day LLMs: Recording: https://lnkd.in/gFc7ERFG Slide deck:…
www.linkedin.com
November 14, 2024 at 6:56 PM
visualstudio.com
🚨 Microsoft C++ Code Analysis updates. ...now you can justify warning suppressions directly in code and SARIF logs. Better clarity, better audits, better code.

🔗 msft.it/63326sB5Su
#Cpp #StaticAnalysis #DevTools
screen capture of example.nativecodeanalysis.sarif dialog box. text reads: blog.read Get updates to Warning Suppressions in Microsoft C++ Code Analysis. Learn more.
July 24, 2025 at 7:50 PM
juliahub.bsky.social
JuliaHub + Semgrep bring static code analysis to Julia—catch issues early, enforce standards, and stay compliant. Build faster, safer, smarter.
juliahub.com/blog/elevati...
#JuliaLang #CodeQuality #StaticAnalysis #DevSecOps
August 11, 2025 at 4:18 PM
jnationconf.bsky.social
Josh Goldberg brings “Types Beyond TypeScript” to JNation — a session on developer tooling, static analysis, and how types can influence codebases beyond what the compiler enforces.
#JNation #TypeScript #DeveloperExperience #StaticAnalysis
May 23, 2025 at 1:30 PM
dyalog.bsky.social
The next set of recordings from Dyalog '24 is now available. Read Morten's blog post, and watch presentations on best practices for the use of Dyalog in large or complex systems at www.dyalog.com/blog/2024/11...

#Dyalog24 #Dyalog #APL

#StaticAnalysis #SoftwareDevelopment #TechTalks
Dyalog '24 Videos, Week Five: Best Practices
November 22, 2024 at 1:59 PM
labrodev.bsky.social
Just want to share here step by step guide how to use PHPStan in Laravel application. Static analysis is very useful for any Laravel project and add a solid quality to codebase.

#phpstan #laravel #php #staticanalysis #webdevelopment
Using Static Analysis in Laravel: A Guide to Starting with PHPStan in Your Project
Step-by-Step Guide on How to Install and Configure PHPStan in Laravel to Begin Benefiting from Code Coverage with Static Analysis
open.substack.com
February 2, 2025 at 6:40 PM
thedroptimes.bsky.social
QED42 open-sourced EventHorizon CLI for local Drupal codebase audits.

It runs without AI, cloud upload, or telemetry, and exports CSV/XLSX reports.

https://bit.ly/4uH24yg
##Drupal #OpenSource #StaticAnalysis #DevTools
QED42 has open-sourced EventHorizon CLI for local Drupal codebase audits. It checks security, performance, caching, and code metrics without AI or uploads.
June 17, 2026 at 5:22 PM
infoq.com
#PHPStan, a static analysis tool for PHP, released v 2.0!

This release introduces new features and improvements that enhance code analysis, performance, and user experience.

Read more details on #InfoQ 👉 bit.ly/4ikySs5

#DevOps #PHP #StaticAnalysis
December 9, 2024 at 1:09 PM
farena.in
He publicado las diapositivas del training que hice en Mundo Hacker Academy, las podéis encontrar en mi web: farena.in/publications... #Android #ReverseEngineering #StaticAnalysis #Shuriken
Throwing Shurikens: El formato DEX y el análisis estático
Mundo Hacker Academy
farena.in
November 22, 2024 at 5:22 PM
carthage.software
👋

#php #formatter #linter #staticanalysis #mago

github.com/carthage-sof...
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...
github.com
November 12, 2025 at 8:27 AM
freewithai.bsky.social
CodeKudu AI – Automatically Fixes Bugs

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

freewithai.com/codekudu-ai/
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
freewithai.com
January 23, 2026 at 3:05 PM
syntaxa.bsky.social
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
January 20, 2026 at 2:35 PM
mongodb.activitypub.awakari.com.ap.brid.gy
EventStream Build Log #1: Static Benchmarking as a Gate for Architecture Decisions How do you compare software architectures objectively? It's a challenge many teams face. In this series, we...

#python #softwareengineering #architecture #staticanalysis

Origin | Interest | Match
EventStream Build Log #1: Static Benchmarking as a Gate for Architecture Decisions
How do you compare software architectures objectively? It's a challenge many teams face. In this...
dev.to
March 19, 2026 at 1:07 PM