#staticanalysis

Mago 1.0 is live. 🦊 🚀 ✅ Linter ✅ Formatter ✅ Static Analyzer ✅ Architectural Guard A unified, oxidized PHP toolchain. 🦀🐘 #PHP #StaticAnalysis #Linter

This book offers a guide to static analysis for students and a reference for users, developers, and experts. Read Introduction to Static Analysis: @kwangkeun #StaticAnalysis #ComputerScience #TheoreticalFoundations #Research

Mago 1.4.0: New Parser. 3x faster. Fault-tolerant. Ready for LSP. 🚀 Plus method call assertions, new fixers, and 20+ bug fixes. 🐞 #PHP #Mago #StaticAnalysis

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: #GraalVM #Java #StaticAnalysis

Arrays don’t cooperate with an immutable paradigm, and common solutions to this problem cause a lot of disruption. Learn how we're using #StaticAnalysis with Infer to modify immutable data-structures with minimal invasiveness: #OpenSource

📱🔍🛡️ Apkx-Hunter | Static analysis Android en C con MASVS real Auditorías de APK sin el caos de resultados dispersos ni secretos sin priorizar. #androidsecurity #staticanalysis #owaspmasvs #redteam #pentesting #malwareanalysis #bugbounty #ciberseguridad

I'm very exciting to be advertising a Microsoft Research summer internship position where we are investigating the uses of #machinelearning in #staticanalysis of code. It's a great intersection of #programminglanguages and #artific…

5 tips for #StaticAnalysis and #DynamicAnalysis from @AurigaInc - experts in developing high-quality, safe, secure medical device software

New post: How to configure PHPStan for Symfony applications @phpstan #phpstan #Symfony #staticAnalysis #php

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 #PHP #Mago #StaticAnalysis

🎥 Here’s a 45-minute YouTube tutorial on PHPStan. Contains most of what you need to know, rounded off with a nice little CI workflow. Check it out here 👇 #PHP #StaticAnalysis

From solo tooldev to Oracle’s kernel warrior—Dan Carpenter took his static-analysis wizardry, built Smatch from scratch to catch Linux kernel bugs, and brought that deep insight into Oracle’s tooling team. #Linux #StaticAnalysis #Oracle #PyConUganda #PyConUganda2025

Join our webinar to learn more about how to gain insights into destructive files and #objects. Wednesday, March 20th, 2 PM ET Be sure to RSVP: #staticanalysis #advancedmalware @SCMagazine #endpoint #SIEM

Let's talk about static analysis - a term that might sound super complex, but it's really just a fancy way of saying: "Hey, let's check your code and make sure it's secure!" 🔐 How do YOU feel about static analysis? 😅 Share your thoughts! #StaticAnalysis #CodeSecurity #SAST💻

Check out Brandon Lewis' Embedded Toolbox ft Rob Tice, @AdaCoreCompany. This podcast demonstrates how code written in the #Adaprogramming language, with #staticanalysis tools like #CodePeer, can automate checks for safety & security issues. @embedded_comp

We are broadening our #cybersecurity capabilities with the acquisition of @Componolit, provider of software components & #formalverification tools for trusted systems. This brings new capabilities to our suite of automated testing & #staticanalysis tools.

Libinjection - SQL / SQLI Tokenizer Parser Analyzer #Libinjection #SQLi #StaticAnalysis

RAPTOR: autonomous offensive/defensive research framework combining Semgrep, CodeQL, AFL, radare2 and rr for scanning, fuzzing, crash analysis and PoC/patch generation. Open-source research tool. #tool #fuzzing #staticanalysis

Let's talk about static analysis - a term that might sound super complex, but it's really just a fancy way of saying: "Hey, let's check your code and make sure it's secure!" 🔐 How do YOU feel about static analysis? 😅 Share your thoughts! #StaticAnalysis #CodeSecurity #SAST💻

#StaticAnalysis in #php? We're talking about it live tomorrow @ 3PM EDT with @OndrejMirtes @duncan3dc @kalessil @faguo Hope you'll join us! 😊