A lot of people are skeptical about how useful LLMs are in bug finding, but our latest work accepted by OOPSLA improves static analysis with LLMs to detect UBI bugs in practice. We've uncovered some new bugs in the Linux kernel! #LLift #BugDetection #LLM #StaticAnalysis #Linux

🎥 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. Early views and likes are always appreciated 🙏 Check it out here 👇 https://t.co/za20EGOL7p #PHP #StaticAnalysis

Z9 - PowerShell Script Analyzer https://t.co/5oKLuuKWBi #PowerShell #Registry #Script #StaticAnalysis

New Codee Technical Debt Report 📑 ✔️Quantifies technical debt in modernizing legacy code by assessing refactoring needs. The score is based on constructs needing updates and identifies impacted files, functions, and loops. #Fortran #modernization #staticanalysis

🎤 Nic Wortel spoke at The Dutch PHP Conference! The talk 'Finding security vulnerabilities with static analysis' is now live!💪 🚀 🎥 Watch it here: https://t.co/sz1wfeCNz5 #dpc25 #staticanalysis #phpconference

Mago v1.0.0-alpha.1 is OUT! 🚀 This release introduces our brand new static analyzer for PHP. 🦀🐘 This is an early alpha. we're excited for you to try it and give us your feedback! Release notes & download: https://t.co/ZCIywVw1JL #PHP #Rust #Mago #StaticAnalysis

Ghauri - An Advanced Cross-Platform Tool That Automates The Process Of Detecting And Exploiting SQL Injection Security Flaws#Pentesting https://t.co/LIWqwthkdA #StaticAnalysis #CyberSecurity #Infosec

Tried enforcing strict nil pointer dereference checks in Go using nilaway and nilness — but they failed to catch cases. Is there any reliable way to statically detect nil derefs in Go? Would love ideas! #golang #staticanalysis

Thanks to my github sponsors I can contribute to important projects of the #php ecosystem Focused on #staticanalysis tools and type-information of widely used projects I can make everyones job easier and more efficient Do my a favour and tell your boss to support my efforts :)

False Positives: Why Your Security Scans Are Lying to You! #falsepositives #testing #cybersecurity #vulnerabilitymanagement #securitytesting #staticanalysis #Snyk #codeanalysis #security #softwaretesting

New Codee ROI Report 📑 This analysis underscores the tangible benefits Codee brings to the development process, not only in terms of savings in development effort but also in realizing significant cost efficiencies for the organization. #Fortran #modernization #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💻

Finding 10x+ Performance Improvements in C++ with CodeQL – Part 2/2 on Combining Dynamic and Static Analysis for Performance Optimisation https://t.co/VO4DzPOLmd #Pentesting StaticAnalysis #CyberSecurity #Infosec

👋 #php #formatter #linter #staticanalysis #mago https://t.co/1pLUW4Xbem

Join us July 18th to explore the transformative power of static code analysis. Led by Qt Group's Dan Caruso, you'll gain unique insights to produce higher-quality commits effortlessly. Register today https://t.co/eFPKRylKVG #softwarequalityassurance #development #staticanalysis

Brandon Wilson is now presenting at #Dyalog24, tackling one of APL’s unique challenges: verifying code correctness. Using the Co-dfns compiler, he’s developing a tool to analyse and specify properties of APL codebases. #APL #StaticAnalysis #CodeVerification #SoftwareDevelopment

😎📷Don't miss Jamie Coleman at Java Day Istanbul, discussing how static analysis tools make you a superhero programmer! Discover how they empower devs for a secure, maintainable, efficient world. #javdayistanbul #staticanalysis #superheroprogrammer @Jamie_Lee_C 🚀

Mandiant Academy: Basic Static and Dynamic Analysis course now available: Understanding malware functionality and analysis processes can be a thorny ball… https://t.co/Zanjxum67J 🔗 Google Security #MalwareAnalysis #CyberSecurity #DigitalForensics #ThreatHunting #StaticAnalysis

Awesome to see `Closure::getCurrent()` getting merged into core. We couldn't resist shipping it early! it's already implemented and ready to go in Mago! 🦀 https://t.co/sB1MePOmmM #php #staticanalysis #rust #mago