#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

pyconuganda's tweet image. 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

🎥 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 👇 youtu.be/l6HkAYFBTJM #PHP #StaticAnalysis

garyclarketech's tweet image. 🎥 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 👇
youtu.be/l6HkAYFBTJM

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

dyalogapl's tweet image. 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

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💻

shehackspurple's tweet image. 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💻
shehackspurple's tweet image. 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💻

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 :)

markusstaab's tweet image. 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 :)

A #PHP project with the right static analysis feels way better than without it. Especially if it is @phpstan. I really like all the functionality it provides, especially custom rules and flexible ignoring in configuration. #StaticAnalysis #tools #PHPStan

KudashevSergey's tweet image. A #PHP project with the right static analysis feels way better than without it. Especially if it is @phpstan. I really like all the functionality it provides, especially custom rules and flexible ignoring in configuration.

#StaticAnalysis #tools #PHPStan

Tai-e - An Easy-To-Learn/Use Static Analysis Framework For Java bit.ly/3DbY8xL #StaticAnalysis #Taie #TaintAnalysis #Techniques

KitPloit's tweet image. Tai-e - An Easy-To-Learn/Use Static Analysis Framework For Java bit.ly/3DbY8xL #StaticAnalysis #Taie #TaintAnalysis #Techniques

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! 🦀 github.com/carthage-softw… #php #staticanalysis #rust #mago

azjezz's tweet image. 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! 🦀 

github.com/carthage-softw… 

#php #staticanalysis #rust #mago

📣 This JUST got merged in #PHP a few minutes ago! It is currently challenging to deal with recursion in anonymous functions. Not anymore in PHP 8.5: the "Closure::getCurrent()" method fetches the current closure you're in 🚀 PR: github.com/php/php-src/pu… #phptips

alexdaubois's tweet image. 📣 This JUST got merged in #PHP a few minutes ago!

It is currently challenging to deal with recursion in anonymous functions. Not anymore in PHP 8.5: the "Closure::getCurrent()" method fetches the current closure you're in 🚀

PR: github.com/php/php-src/pu…

#phptips


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

dpcon's tweet image. 🎤 Nic Wortel spoke at The Dutch PHP Conference! 

The talk 'Finding security vulnerabilities with static analysis' is now live!💪 🚀 

🎥 Watch it here: buff.ly/MpEx2OY  

#dpc25 #staticanalysis #phpconference

🚨 ShadowMe #1 – Intro to Static Analysis (HAL-JHT) 💻 Pay What You Can! 💸 Start your malware analysis journey with hands-on labs! Learn to analyze malware safely using tools like DIE, pe-bear, pestudio, and CAPA. 🔗 labs.cyber5w.com/courses/083eed… #C5W #MalwareAnalysis #StaticAnalysis

cyber5w's tweet image. 🚨 ShadowMe #1 – Intro to Static Analysis (HAL-JHT)
💻 Pay What You Can! 💸
Start your malware analysis journey with hands-on labs! Learn to analyze malware safely using tools like DIE, pe-bear, pestudio, and CAPA.
🔗 labs.cyber5w.com/courses/083eed…

#C5W #MalwareAnalysis #StaticAnalysis

Ghauri - An Advanced Cross-Platform Tool That Automates The Process Of Detecting And Exploiting SQL Injection Security Flaws#Pentesting kitploit.com/2023/01/ghauri… #StaticAnalysis #CyberSecurity #Infosec

ptracesecurity's tweet image. Ghauri - An Advanced Cross-Platform Tool That Automates The Process Of Detecting And Exploiting SQL Injection Security Flaws#Pentesting kitploit.com/2023/01/ghauri… #StaticAnalysis #CyberSecurity #Infosec

Mago 1.0.0-beta.27 is live! 🎉 This is a huge community release, headlined by the new `no-redundant-use` rule with a powerful auto-fix to clean up your imports. github.com/carthage-softw… #PHP #Linter #StaticAnalysis


Join us on May 29th for a live webinar with Axivion Senior Solution Architect Steffen Keul on ensuring freedom from interference in ISO26262 mixed-ASIL systems. Learn more and register here: hubs.li/Q02y55500 #SoftwareQualityAssurance #EmbeddedSystems #StaticAnalysis

qtproject's tweet image. Join us on May 29th for a live webinar with Axivion Senior Solution Architect Steffen Keul on ensuring freedom from interference in ISO26262 mixed-ASIL systems.

Learn more and register here: hubs.li/Q02y55500

#SoftwareQualityAssurance #EmbeddedSystems #StaticAnalysis

In this blog post, David Svoboda explains how the new open source tool Redemption uses automated code repair technology to fix #staticanalysis alerts, the kinds of errors Redemption can repair, how the tool works, and what’s next for its development: insights.sei.cmu.edu/blog/redemptio…

SEI_CMU's tweet image. In this blog post, David Svoboda explains how the new open source tool Redemption uses automated code repair technology to fix #staticanalysis alerts, the kinds of errors Redemption can repair, how the tool works, and what’s next for its development:
insights.sei.cmu.edu/blog/redemptio…

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 qt.io/events/enhanci… #softwarequalityassurance #development #staticanalysis

qtproject's tweet image. 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 qt.io/events/enhanci… #softwarequalityassurance #development #staticanalysis

Welp, no release is perfect! 😅 Mago beta.9 is out with HUGE improvements to ::class analysis! ...and we immediately followed it up with beta.10 to fix a bug we introduced. ✨ Beta 9: github.com/carthage-softw… 🩹 Beta 10: github.com/carthage-softw… #PHP #Mago #StaticAnalysis


Check out this constructors in inheritance article from @EmekaIloba 🔥 I’ve been using #PHP for a few years and I still have to check my subclass constructors. Timothy explains it really nicely here 💡 medium.com/@timothyiloba/… #PHP #StaticAnalysis

garyclarketech's tweet image. Check out this constructors in inheritance article from @EmekaIloba 🔥

I’ve been using #PHP for a few years and I still have to check my subclass constructors.

Timothy explains it really nicely here 💡
medium.com/@timothyiloba/…

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

codee_com's tweet image. 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

Mago 1.0.0-beta.27 is live! 🎉 This is a huge community release, headlined by the new `no-redundant-use` rule with a powerful auto-fix to clean up your imports. github.com/carthage-softw… #PHP #Linter #StaticAnalysis


Mago 1.0.0-beta.26 is out! 🚀 A huge release focused on correctness. The analyzer is now much smarter with traits, generics, callables, and self return types. Release notes: github.com/carthage-softw… #PHP #Mago #StaticAnalysis


Mago 1.0.0-beta.23 is out! 🚀 This is a huge release for the linter, adding a powerful set of new rules with a major focus on #WordPress security & best practices. Release notes: github.com/carthage-softw… #PHP #StaticAnalysis


Mago v1.0.0-beta.22 is out! 🚀 PHP template analysis is now much better: <?= $var ?> is no longer an "unused" error and @\var before ?> works! Also includes a new `--colors` flag and smarter baseline commands. github.com/carthage-softw… #PHP #StaticAnalysis #Mago


Mago 1.0.0-beta.18 is here! 🚀 This release is packed with analyzer correctness fixes and improvements as we get closer to a stable release. Check out what's new: github.com/carthage-softw… #PHP #StaticAnalysis #Mago


Mago v1.0.0-beta.15 is out! 🪄 The analyzer now has support for @\method and @\property docblocks! This release also includes a ton of stability fixes for the formatter, improving output for complex code. Release notes: github.com/carthage-softw… #PHP #StaticAnalysis #Mago


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

dpcon's tweet image. 🎤 Nic Wortel spoke at The Dutch PHP Conference! 

The talk &apos;Finding security vulnerabilities with static analysis&apos; is now live!💪 🚀 

🎥 Watch it here: buff.ly/MpEx2OY  

#dpc25 #staticanalysis #phpconference

🎤 Nic Wortel spoke at Webdevcon! The talk 'Finding security vulnerabilities with static analysis' is now live!💪 🚀 🎥 Watch it here: webdevcon.nl/session/findin… #wdc25 #staticanalysis #webdevcon

WebdevconNL's tweet image. 🎤 Nic Wortel spoke at Webdevcon! 

The talk &apos;Finding security vulnerabilities with static analysis&apos; is now live!💪 🚀 

🎥 Watch it here: webdevcon.nl/session/findin… 

#wdc25 #staticanalysis #webdevcon

That was fast! 🚀 Mago 1.0.0-beta.12 is here with some big analyzer fixes! Now with support for recursive closures and array unpacking on all iterables! Check out all the improvements: github.com/carthage-softw… #PHP #StaticAnalysis #Mago

Mago 1.0.0-beta.11 is now live! 🚀 Packed with major bug fixes for array analysis and new features like flexible config levels. github.com/carthage-softw… #PHP #Mago #StaticAnalysis



Mago 1.0.0-beta.11 is now live! 🚀 Packed with major bug fixes for array analysis and new features like flexible config levels. github.com/carthage-softw… #PHP #Mago #StaticAnalysis


🔍 MLBridge code quality tools: • Static analysis with TypeScript • Code complexity metrics • Dead code elimination • Import organization automation Clean, maintainable code! 🧹 #CodeQuality #StaticAnalysis #MLBridge


Welp, no release is perfect! 😅 Mago beta.9 is out with HUGE improvements to ::class analysis! ...and we immediately followed it up with beta.10 to fix a bug we introduced. ✨ Beta 9: github.com/carthage-softw… 🩹 Beta 10: github.com/carthage-softw… #PHP #Mago #StaticAnalysis


REWIRE uses Static Application Security Testing (SAST) on source code to find weaknesses before the software is even compiled. It's like a spell-check for security flaws.#StaticAnalysis #SecureCode #AppSec #REWIRE_EU


Which tool’s your go-to for binary taint? Share your setup or results! Repost if this helps—I’m planning a Ghidra taint script guide next. Follow for more. DMs open for sample links! 🚀 #StaticAnalysis #VulnResearch 6/6


Is #StaticAnalysis enough to keep your code secure? Not quite, as detection alone doesn’t teach developers how to prevent vulnerabilities. While it identifies security issues, it doesn’t show how to fix them. Check out our latest blog post📲 blog.secureflag.com/2025/08/19/why… #AppSec


🚀 Mago v1.0.0-alpha.6 is here! This is a huge performance and stability release. Mago is now up to 21% faster and uses ~210 MB less RAM on large projects, thanks to major optimizations. Full changelog: github.com/carthage-softw… #PHP #Mago #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

pyconuganda's tweet image. 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

Tai-e - An Easy-To-Learn/Use Static Analysis Framework For Java bit.ly/3DbY8xL #StaticAnalysis #Taie #TaintAnalysis #Techniques

KitPloit's tweet image. Tai-e - An Easy-To-Learn/Use Static Analysis Framework For Java bit.ly/3DbY8xL #StaticAnalysis #Taie #TaintAnalysis #Techniques

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💻

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

🚨 New Blog Post 🚨 Andrew Banks discusses how MISRA C:2025 helps developers avoid bugs. 📖 Read more: 🔗 ldra.com/ldra-blog/avoi… #LDRA #MISRA2025 #StaticAnalysis #EmbeddedSoftware #SecureCoding #FunctionalSafety

ldra_technology's tweet image. 🚨 New Blog Post 🚨 Andrew Banks discusses how MISRA C:2025 helps developers avoid bugs. 📖 
Read more: 🔗 ldra.com/ldra-blog/avoi… 

#LDRA #MISRA2025 #StaticAnalysis #EmbeddedSoftware  #SecureCoding #FunctionalSafety

EMBA analyzer in action for firmware static analysis @securefirmware great job .. #staticanalysis #firmware #security

iotsrg1's tweet image. EMBA analyzer in action for firmware static analysis 

@securefirmware  great job ..

#staticanalysis #firmware #security

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

dyalogapl's tweet image. 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

🎥 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 👇 youtu.be/l6HkAYFBTJM #PHP #StaticAnalysis

garyclarketech's tweet image. 🎥 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 👇
youtu.be/l6HkAYFBTJM

#PHP #StaticAnalysis

Ghauri - An Advanced Cross-Platform Tool That Automates The Process Of Detecting And Exploiting SQL Injection Security Flaws#Pentesting kitploit.com/2023/01/ghauri… #StaticAnalysis #CyberSecurity #Infosec

ptracesecurity's tweet image. Ghauri - An Advanced Cross-Platform Tool That Automates The Process Of Detecting And Exploiting SQL Injection Security Flaws#Pentesting kitploit.com/2023/01/ghauri… #StaticAnalysis #CyberSecurity #Infosec

A #PHP project with the right static analysis feels way better than without it. Especially if it is @phpstan. I really like all the functionality it provides, especially custom rules and flexible ignoring in configuration. #StaticAnalysis #tools #PHPStan

KudashevSergey's tweet image. A #PHP project with the right static analysis feels way better than without it. Especially if it is @phpstan. I really like all the functionality it provides, especially custom rules and flexible ignoring in configuration.

#StaticAnalysis #tools #PHPStan

I am 3rd winner at @LaravelAhm quiz created by @MrPunyapal . This quiz contains question related to #phpstan #staticanalysis and #typesafety. Happy 😊 to be part of this amazing #laravel Community.

JaiveerChavda's tweet image. I am 3rd winner at @LaravelAhm quiz created by @MrPunyapal .
This quiz contains question related to #phpstan #staticanalysis and #typesafety.

Happy 😊 to be part of this amazing #laravel Community.

🚨 ShadowMe #1 – Intro to Static Analysis (HAL-JHT) 💻 Pay What You Can! 💸 Start your malware analysis journey with hands-on labs! Learn to analyze malware safely using tools like DIE, pe-bear, pestudio, and CAPA. 🔗 labs.cyber5w.com/courses/083eed… #C5W #MalwareAnalysis #StaticAnalysis

cyber5w's tweet image. 🚨 ShadowMe #1 – Intro to Static Analysis (HAL-JHT)
💻 Pay What You Can! 💸
Start your malware analysis journey with hands-on labs! Learn to analyze malware safely using tools like DIE, pe-bear, pestudio, and CAPA.
🔗 labs.cyber5w.com/courses/083eed…

#C5W #MalwareAnalysis #StaticAnalysis

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 qt.io/events/enhanci… #softwarequalityassurance #development #staticanalysis

qtproject's tweet image. Join us July 18th to explore the transformative power of static code analysis. Led by Qt Group&apos;s Dan Caruso, you&apos;ll gain unique insights to produce higher-quality commits effortlessly. Register today qt.io/events/enhanci… #softwarequalityassurance #development #staticanalysis

Thank you so much to all who made MSR4P&S possible, specially to the authors for their engaging presentations on #privacy #security #staticanalysis #sbomsecurity #threatmodeling and so much more! Proceedings will be online soon! Stay tuned! 🙌 @SANERconf

MSR4PSworkshop's tweet image. Thank you so much to all who made MSR4P&amp;amp;S possible, specially to the authors for their engaging presentations on #privacy #security #staticanalysis #sbomsecurity #threatmodeling and so much more! Proceedings will be online soon! Stay tuned! 🙌 @SANERconf

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 :)

markusstaab's tweet image. 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 :)

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! 🦀 github.com/carthage-softw… #php #staticanalysis #rust #mago

azjezz's tweet image. Awesome to see `Closure::getCurrent()` getting merged into core. We couldn&apos;t resist shipping it early!

it&apos;s already implemented and ready to go in Mago! 🦀 

github.com/carthage-softw… 

#php #staticanalysis #rust #mago

📣 This JUST got merged in #PHP a few minutes ago! It is currently challenging to deal with recursion in anonymous functions. Not anymore in PHP 8.5: the "Closure::getCurrent()" method fetches the current closure you're in 🚀 PR: github.com/php/php-src/pu… #phptips

alexdaubois's tweet image. 📣 This JUST got merged in #PHP a few minutes ago!

It is currently challenging to deal with recursion in anonymous functions. Not anymore in PHP 8.5: the &quot;Closure::getCurrent()&quot; method fetches the current closure you&apos;re in 🚀

PR: github.com/php/php-src/pu…

#phptips


Tai-e - An Easy-To-Learn/Use Static Analysis Framework For Java bit.ly/3DbY8xL #StaticAnalysis #Taie #TaintAnalysis #Techniques

NaderZaveri's tweet image. Tai-e - An Easy-To-Learn/Use Static Analysis Framework For Java bit.ly/3DbY8xL #StaticAnalysis #Taie #TaintAnalysis #Techniques

Loading...

Something went wrong.


Something went wrong.


United States Trends