#staticcodeanalysis search results
🧩 Programmier-Agenten brechen oft an einer sehr einfachen Sache - Token-Polysemie. Wenn ich gleiche Token-Folgen im Code mit verschiedenen Bedeutungen sehe, schaltet sich mein innerer "GPT-Static-Analyzer" ein:🧵
As @danis_jiang just found out, reporting bugs to curl isn’t easy as the response is often “not a bug thanks k” Static analysis does produce a lot of issues and indeed false positives too. There’s great research on this if you are keen arxiv.org/pdf/2307.16325
Where this might work is by combining static analysis with LLMs. I did this with RAPTOR and it yields amazing results He ran codeql against a number of repos
Static analysis is about analyzing code without executing it. AI can probably appear as being good at static analysis. They probably hire people to train their AI and fix hallucinations manually. I like the objective but am not convinced by the approach. Happy to be proven wrong
I just completed Basic Static Analysis room on TryHackMe. Learn basic malware analysis techniques without running the malware. tryhackme.com/room/staticana… #tryhackme via @tryhackme
Detecting memcpy Misuse with Static Analysis tinyurl.com/22znsru3
If you’ve felt the gap: "fast coding but slow debugging, you’re not imagining it " The tools we use today were designed for static analysis. The problems we face now require runtime insight.
We often get feedback that C-Suite managers often talk about improving #developerexperience but there seems to be a gap between intention and action. Find out how static code analysis can provide practical ways to make a real impact in day-to-day satisfaction for developers.…
⚠️ Crack the Code: How #Malware Analysts Use Static & Dynamic Analysis to Uncover Evil (And You Can Too) undercodetesting.com/crack-the-code… Educational Purposes!
Doing some static analysis in the preprocessor is the perfect use-case for a ppx, and a much better solution than a library. - another win for ppxes - another win for mlx
The spoiler is static analysis, but go read it! Mentions million.js @aidenybai and a few other libraries (blaze-html from haskell and twirl from scala)
PHPStan is a popular static analysis tool for PHP. Its purpose is to find bugs in your code without actually running it by examining the code's structure, type hints, and documentation (docblocks). PHPStan's key strength is its ability to perform deep type inference, checking for…
L'analyse statique à des limites bien connues: Ca va bien valider par exemple qu'on passe une variable du bon type a une fonction, mais si on à échangé deux paramètres du même type, un LLM va se rendre compte que statistiquement c'était pas logique et pointer du doigt l'erreur.
Softwarequalität in PHP Projekten fängt mit statischer Codeanalyse an. das kann ich gerne für euch einrichten und erkläre das auf YouTube #php #phpstan #webdev #motivation #coding
“So you want me to spend 2 weeks doing bs code cleanup tasks?” “The static analyzer says it’s important” “It’s not though! The static analyzer says that because we don’t pay for it and it’s the dumb version!” Real live conversation
Quantitative Analysis of Technical Debt and Pattern Violation in Large Language Model Architectures. arxiv.org/abs/2512.04273
static な脆弱性診断でもまぁまぁ出るのでテストコードで入力変えてみてバイナリを実際に動かしてみるとまた明らかになりそうではある
You are trying to fix with AI what we fixed years ago with development tools. It is called tests and test coverage analysis tools. Static analyzers.. I repeat we solve it years ago. It works for human errors... It works for AI errors. Just errors.
Good. Now go see what static code analysis is and look for this dream tool called @SonarQube. That is the final closure that DevOps is the crème de la crème. This is high quality coding.
Want a static analyzer that understands higher-kinded types and monad transformers? Good luck. SPARK/Ada, Polyspace, or Astrée will prove absence of runtime errors in huge C/Ada codebases. The FP world is still arguing about whether dependent types are ready for prime time.
Something went wrong.
Something went wrong.
United States Trends
- 1. #MerryChristmasJustin 11.5K posts
- 2. #wednesdaymotivation 3,689 posts
- 3. FOMC 40K posts
- 4. Met Gala 59.9K posts
- 5. #HumanRightsDay 33K posts
- 6. Rayman 2 2,018 posts
- 7. Hump Day 16.3K posts
- 8. Waffle House 4,702 posts
- 9. Good Wednesday 37.6K posts
- 10. Act III 3,101 posts
- 11. Oslo 287K posts
- 12. Tonic Trouble 1,418 posts
- 13. Zendaya 38.6K posts
- 14. #Wednesdayvibe 2,689 posts
- 15. María Corina Machado 283K posts
- 16. María Corina Machado 283K posts
- 17. Sophie Kinsella 2,875 posts
- 18. #NXXT_GridReform N/A
- 19. Electrician 2,308 posts
- 20. Toph 18.2K posts