static analysis - Robuta Search

https://psalm.dev/ Psalm - a static analysis tool for PHP static analysis tool psalm php https://soteria-tools.com/ Soteria - Sound Static Analysis for the Masses Soteria is a powerful bug detection tool that reliably and consistently finds bugs in your Rust and C codebase at unmatched speed using symbolic execution. static analysis for the soteria sound masses https://www.sei.cmu.edu/library/static-analysis-alert-audits-lexicon-rules/ Static Analysis Alert Audits: Lexicon & Rules | CMU Software Engineering Institute In this paper, the authors provide a suggested set of auditing rules and a lexicon for auditing static analysis alerts. static analysis software engineering alert audits lexicon https://packagist.org/packages/richcongress/static-analysis richcongress/static-analysis - Packagist.org A library to setup quickly the static analysis tools for RichCongress static analysis packagist https://www.cs.cit.tum.de/en/pl/lehre/wintersemester-22-23/praktika/static-analysis-automated-bug-hunting-and-beyond/ Static Analysis - Automated Bug Hunting and Beyond - Chair of Formal Languages, Compiler... static analysis bug hunting and beyond https://developer.apple.com/library/archive/featuredarticles/StaticAnalysis/index.html Static Analysis in Xcode 3.2 (Legacy) static analysis xcode legacy https://handbook.gitlab.com/handbook/engineering/development/sec/secure/static-analysis/false_positives/ Static Analysis Group Defined False Positives | The GitLab Handbook Aug 16, 2024 - Static Analysis Group Defined False Positives The table below lists different rule ids and situations in which they can be considered as false positives. The... static analysis group false positives defined gitlab handbook https://marketplace.eclipse.org/content/goanna-studio-static-analysis-cc Goanna Studio - Static Analysis for C/C++ | Eclipse Plugins, Bundles and Products - Eclipse... Goanna Studio brings the power of deep static C/C++ source code analysis to the fingertips software developers by integrating the Goanna technology directly... static analysis goanna studio https://www.sophos.com/en-us/oem/automated-static-analysis Automated Static Analysis - OEM Security Software | Seamless Integration for OEM Partners | Sophos... We Deliver Superior Cybersecurity Outcomes for Real-World Organizations Worldwide with a Broad Portfolio of Advanced Security Products and Services. static analysis oem security seamless integration for partners automated https://shonan.nii.ac.jp/seminars/062/ No.062 Static analysis meets runtime verification | Seminars | NII Shonan Meeting NII Shonan Meeting is a series of informatics seminars managed by NII, aiming to promote informatics research by providing premier venue in order for the... static analysis runtime verification meets https://packagist.org/packages/php-static-analysis/node-visitor php-static-analysis/node-visitor - Packagist.org PHP parser node visitor that converts Attributes into PHPDoc annotations static analysis php node visitor packagist https://uwaterloo.ca/embedded-software-group/references/keywords/static-analysis Reference keyword: static analysis | Real-time Embedded Software Group | University of Waterloo static analysis real time https://content.knowledgehub.wiley.com/tag/quasi-static-analysis/ Tag: quasi-static analysis - Wiley Science and Engineering Content Hub Wiley Science Content Hub listings tagged with quasi-static analysis science and engineering static analysis tag quasi wiley https://drum.lib.umd.edu/items/c3a97a26-ed48-48c1-aa85-d7459f335763/full Simple and Effective Static Analysis to Find Bugs Much research in recent years has focused on using static analysis to find bugs in software. Many new approaches employing sophisticated program analysis... simple and effective static analysis find bugs https://www.sei.cmu.edu/library/scaife-and-acr-static-analysis-classification-and-automated-code-repair/ SCAIFE and ACR: Static Analysis Classification and Automated Code Repair | CMU Software Engineering... Flynn and Klieber describe their research and concept for a combined system for static analysis classification and automated code repair. static analysis https://se.mathworks.com/matlabcentral/fileexchange/14020-space-truss-systems-as-linear-static-analysis Space Truss Systems as Linear Static Analysis - File Exchange - MATLAB Central Download and share free MATLAB code, including functions, models, apps, support packages and toolboxes truss systems static analysis file exchange space linear https://www.vbdepend.com/ VBDepend :: VB6/VBA Static Analysis and Code Quality tool VBDepend manage complex code base and achieve high Code Quality. With VBDepend, software quality can be measured using Code Metrics, visualized using Graphs... static analysis code quality vba tool https://support.sw.siemens.com/en-US/okba/AL37725/SimLab-Tutorial-Linear-Static-Analysis-of-ConRod/index.html SimLab Tutorial: Linear Static Analysis of ConRod static analysis simlab tutorial linear conrod https://au.mathworks.com/videos/static-analysis-for-security-and-devops-with-polyspace-1601910053722.html Static Analysis for Security and DevOps with Polyspace - MATLAB & Simulink Integration of static code analysis into DevOps workflows is a key to achieving quality goals while reducing cost and time effort static analysis for security devops polyspace matlab https://www.sei.cmu.edu/library/using-test-suites-for-static-analysis-alert-classifiers/ Using Test Suites for Static Analysis Alert Classifiers | CMU Software Engineering Institute CERT researchers Lori Flynn and Zach Kurtz discuss ongoing research using test suites as a source of labeled training data to create classifiers for static... test suites static analysis https://www.mathworks.com/help/bugfinder/ref/compilationtoolchainforstaticanalysiscompilercompilertarget.html Compilation toolchain for static analysis (-compiler, -compiler -target) - Specify the compiler... Specify the compiler that you use to build your source code for static analysis. static analysis compilation toolchain compiler target https://fs.unm.edu/nss8/index.php/111/article/view/578 Static analysis in neutrosophic cognitive maps | Neutrosophic Sets and Systems static analysis cognitive maps sets systems https://manpages.ubuntu.com/manpages/xenial/man1/lintian.1.html Ubuntu Manpage: lintian - Static analysis tool for Debian packages Static analysis tool for Debian packages static analysis tool ubuntu manpage lintian debian https://nl.mathworks.com/help/optim/ug/static-analysis-optimization-expressions.html Static Analysis of Optimization Expressions - MATLAB & Simulink Describes static analysis of optimization expressions, a part of the fcn2optimexpr algorithm. static analysis optimization expressions matlab simulink https://www.sei.cmu.edu/library/using-llms-to-automate-static-analysis-adjudication-and-rationales/ Using LLMs to Automate Static-Analysis Adjudication and Rationales | CMU Software Engineering... This article discusses a model for using large language models (LLMs) to handle static analysis output. using llms static analysis https://dev.to/frknasir/static-analysis-with-psalm-1f44 Static Analysis With Psalm - DEV Community Over the years there has been tremendous efforts towards development of automated tools and processes to prevent such catastrophic typos from finding their way... static analysis psalm dev community https://openresearch.surrey.ac.uk/esploro/outputs/journalArticle/Static-analysis-of-adhesively-bonded-anchorages/99512698502346 Static analysis of adhesively bonded anchorages for CFRP tendons - University of Surrey Jun 30, 2014 - Static analysis of adhesively bonded anchorages for CFRP tendons - University of Surrey - Journal article static analysis bonded https://research.ibm.com/publications/principled-and-practical-static-analysis-for-python-weakest-precondition-inference-of-hyperparameter-constraints Principled and practical static analysis for Python: Weakest precondition inference of... Principled and practical static analysis for Python: Weakest precondition inference of hyperparameter constraints for Software - Practice and Experience by... static analysis for python principled practical https://www.sei.cmu.edu/library/prioritizing-alerts-from-static-analysis-with-classification-models/ Prioritizing Alerts from Static Analysis with Classification Models | CMU Software Engineering... This poster describes CERT Division research on an automated and accurate statistical classifier. static analysis prioritizing alerts https://developer.roku.com/dev/docs/static-analysis-tool-1 Static Analysis tests Apps must pass Static Analysis testing in order to published to the Streaming Store. Apps cannot be submitted for publishing without passing static analysis... static analysis tests https://essay.utwente.nl/essays/100758 Static Analysis of Rust Error Propagation The Rust programming language deals with errors in a different way than many popular languages. Rust wraps errors using its robust type system. This simplifies... static analysis rust error propagation https://dspace.rpi.edu/items/3048c27b-990d-4cb0-9f5b-3972307f3827 Static analysis and program transformation for secure computation on the cloud In the past decade, cloud computing service has become very popular and been widely studied and used in both academia and industry. The advantages of cloud... static analysis on the program transformation https://www.cppcheck.com/ Cppcheck | #1 Static Analysis Tool Cppcheck is a trusted and top-rated static analysis tool for detecting bugs and undefined behavior in C/C++ code. static analysis cppcheck tool https://support.sw.siemens.com/en-US/okba/AL37726/SimLab-Tutorial-Non-Linear-Static-Analysis-Flex-Plate/index.html SimLab Tutorial: Non Linear Static Analysis - Flex Plate non linear static analysis simlab tutorial flex https://www.infoq.com/presentations/secure-programming-static-analysis/ Secure Programming with Static Analysis - InfoQ Creating secure code requires more than just good intentions. Programmers need to know how to make their code safe in an almost infinite number of scenarios... secure programming static analysis infoq https://ai.g2.com/marketplace?tag=static-analysis Best AI Tools for Static Analysis | G2 Discover the best AI tools and agents for static-analysis. Browse verified tools with pricing, features, and reviews on G2's AI Marketplace. best ai tools static analysis https://www.sei.cmu.edu/library/static-analysis-classification-line-funded-research-fy16-20/ Static Analysis Classification: Line-Funded Research FY16-20 | CMU Software Engineering Institute CMU SEI researchers developed several static analysis techniques and tools to enable practical classification that leads to more secure software and lowered... static analysis funded research https://jobs.inria.fr/public/classic/en/offres/2026-09842 2026-09842 - Research engineer / Static analysis of OCaml programs Offre d'emploi Inria research engineer static analysis ocaml programs https://dspace.rpi.edu/items/93ec451d-1a80-438a-85e3-d6fe2a7ac1fa Principled and practical static analysis for python Python is a popular dynamic language for data science and machine learning, and is increasingly adopted for large and complex programming tasks; however,... static analysis principled practical python https://interpretica.io/ Security Testing & Static Analysis for Complex Systems | Interpretica Interpretica identifies vulnerabilities, unsafe behavior and system-level risks through static analysis and security testing for embedded systems and... security testing static analysis complex systems https://researchconnect.buffalo.edu/en/publications/skillscanner-detecting-policy-violating-voice-applications-throug/ SkillScanner: Detecting Policy-Violating Voice Applications Through Static Analysis at the... voice applications static analysis detecting policy violating https://www.sei.cmu.edu/library/static-analysis-targeted-automated-repair-securing-code-and-reducing-effort/ Static Analysis-Targeted Automated Repair: Securing Code and Reducing Effort | CMU Software... Our tool, Redemption, automatically repairs source code for 100% of static analysis alerts for two types of code flaws, even if the alert is a false positive. static analysis https://dev.to/epergo/get-static-analysis-of-your-pull-requests-with-pronto Get static analysis of your Pull Requests with Pronto - DEV Community Take advantage of your continuous integration build to analyze your code. Tagged with rubocop, pronto, ruby, rails. static analysis pull requests get https://www.sei.cmu.edu/library/llms-to-adjudicate-static-analysis-alerts-lasaa/ LLMs to Adjudicate Static Analysis Alerts (LASAA) | CMU Software Engineering Institute This fact sheet describes the LASAA project which uses large language models (LLMs) to adjudicate static analysis alerts. This enables more complete alert... static analysis software engineering llms adjudicate https://nl.mathworks.com/help/codeprover/ref/compilationtoolchainforstaticanalysiscompilercompilertarget.html Compilation toolchain for static analysis (-compiler, -compiler -target) - Specify the compiler... Specify the compiler that you use to build your source code for static analysis. static analysis compilation toolchain compiler target https://www.sei.cmu.edu/library/automated-repair-of-static-analysis-alerts/ Automated Repair of Static Analysis Alerts | CMU Software Engineering Institute David Svoboda discusses Redemption, a new open source tool that automatically repairs common errors in C/C++ code generated from static analysis alerts. static analysis software engineering automated repair alerts https://lkml.iu.edu/hypermail/linux/kernel/1905.0/03661.html Linux-Kernel Archive: Re: static analysis issue in rtl8188de driver linux kernel static analysis archive issue driver https://cs.brown.edu/people/sk/Publications/Papers/Published/azzr--paralegal/ Paralegal: Practical Static Analysis for Privacy Bugs static analysis paralegal practical privacy bugs https://research.ibm.com/publications/revamping-javascript-static-analysis-via-localization-and-remediation-of-root-causes-of-imprecision Revamping Javascript static analysis via localization and remediation of root causes of imprecision... Revamping Javascript static analysis via localization and remediation of root causes of imprecision for FSE 2016 by Shiyi Wei et al. static analysis https://qihe.pascal-lab.net/ Qihe - Static Analysis for Verilog static analysis qihe verilog https://ch.mathworks.com/help/optim/ug/for-loop-static-analysis.html Create for Loop for Static Analysis - MATLAB & Simulink How to create a for loop in separate function for static analysis. for loop static analysis create matlab simulink https://xapax.github.io/security/attacking_web_applications/static_analysis_of_javascript/ Static Analysis of JavaScript - Notes static analysis javascript notes https://www.nist.gov/publications/static-analysis-tool-exposition-sate-2008-0 Static analysis tool exposition (SATE) 2008: | NIST static analysis tool exposition sate nist https://marketplace.eclipse.org/free-tagging/static-analysis/favorites static analysis | Eclipse Plugins, Bundles and Products - Eclipse Marketplace | Eclipse Foundation Explore, share, and collaborate on Eclipse Plugins, Tools, and Extensions. Discover new and popular additions to enhance your Eclipse development experience. static analysis products marketplace eclipse plugins bundles https://flowlint.dev/ FlowLint - Automated Static Analysis for n8n Workflows FlowLint is a GitHub App that automatically reviews pull requests containing n8n workflow files, applying configurable lint rules to catch automation bugs... static analysis automated workflows https://www.coursera.org/learn/secure-ai-code--libraries-with-static-analysis Secure AI Code & Libraries with Static Analysis | Coursera Offered by Coursera. Master comprehensive static analysis workflows for AI security using industry-standard tools like Bandit, Semgrep, and ... Enroll for free. secure ai code static analysis libraries coursera https://packagist.org/packages/php-static-analysis/rector-rule php-static-analysis/rector-rule - Packagist.org RectorPHP rule to convert PHPDoc annotations for static analysis to PHP attributes static analysis php rector rule packagist https://www.aymannadeem.com/ Ayman Nadeem | Programming Languages, Static Analysis, Mathematics, Functional Programming,... Programming Languages, Static Analysis, Mathematics, Functional Programming, Haskell, Developer Tools, HCI, criminally bad puns. programming languages static analysis ayman nadeem mathematics https://engineering.fb.com/2021/10/20/security/static-analysis-award/attachment/static_analysis_award/ static_analysis_award - Engineering at Meta Oct 18, 2021 - Visit the post for more. static analysis award engineering meta https://bugzilla.mozilla.org/show_bug.cgi?id=1283092 1283092 - [Static Analysis][Uninitialized pointer field] In constructor GLXDisplay RESOLVED (bpostelnicu) in Core - Graphics. Last updated 2016-07-04. static analysis pointer field constructor https://about.uq.edu.au/experts/project/10386 Software Quality Improvement Through Static Analysis and Annotation | Project | UQ Experts software quality static analysis improvement https://developers.redhat.com/articles/2023/05/31/improvements-static-analysis-gcc-13-compiler Improvements to static analysis in the GCC 13 compiler | Red Hat Developer Dec 5, 2023 - GCC 13 includes enhancements to -fanalyzer, a static analysis pass that can identify issues at compile-time. static analysis in the https://advisories.gitlab.com/pypi/fickling/CVE-2026-22609/ Fickling has Static Analysis Bypass via Incomplete Dangerous Module Blocklist | GitLab Advisory... CVE-2026-22609 Fickling has Static Analysis Bypass via Incomplete Dangerous Module Blocklist: The unsafe_imports() method in Fickling's static analyzer fails... static analysis https://handbook.gitlab.com/handbook/engineering/development/sec/secure/static-analysis/ec2_dev_environment_setup/ Static Analysis Group EC2 development machine setup guide | The GitLab Handbook Oct 12, 2025 - Static Analysis Group EC2 development machine setup guide Some of the SAST analyzers, including Semgrep, do not run on the M1 mac as ARM64 is not supported. To... static analysis group machine setup development https://vtechworks.lib.vt.edu/items/8e794842-c695-48c0-be76-1f7f37e63811/full Helping Student Programmers Through Industrial-Strength Static Analysis: A Replication Study Static analysis tools evaluate source code to identify problems beyond typical compiler errors. Prior work has shown a statistically significant relationship... industrial strength static analysis helping student programmers https://groups.google.com/g/mozilla.dev.static-analysis mozilla.dev.static-analysis - Google Groups static analysis mozilla dev google groups https://it.mathworks.com/help/bugfinder/ug/what-is-polyspace-platform.html Polyspace Platform: A Unified Platform for Static Analysis and Dynamic Testing - MATLAB & Simulink Polyspace Platform is an integrated environment for static analysis and testing of C/C++ code with Polyspace products. static analysis https://in.mathworks.com/help/codeprover/ug/benefits-of-using-polyspace-static-analysis-tools-with-embedded-coder.html Benefits of Using Polyspace Static Analysis Tools with Generated Code - MATLAB & Simulink Learn how Polyspace can make verifying C/C++ code generated by Embedded Coder and MATLAB Coder easier and more precise. benefits of static analysis https://vladislaveremeev.gitbook.io/qa_bible/test-dizain/static-static-analysis Static - Static Analysis | QA_Bible static analysis qa bible https://origin-www.paloaltonetworks.com/cyberpedia/why-you-need-static-analysis-dynamic-analysis-machine-learning Why You Need Static Analysis, Dynamic Analysis, and Machine Learning? - Palo Alto Networks Understand why stopping cyberattacks requires layered defenses, not just point solutions. Learn how multiple interception points strengthen security. why you static analysis https://hatch.pypa.io/latest/config/internal/static-analysis/ Static analysis configuration - Hatch static analysis configuration hatch https://research.ibm.com/publications/touchguru-integrating-static-analysis-with-a-mobile-development-environment TouchGuru: Integrating static analysis with a mobile development environment for MobileDeLi 2014 -... TouchGuru: Integrating static analysis with a mobile development environment for MobileDeLi 2014 by Lucas Brutschy et al. static analysis https://addxorrol.blogspot.com/2011/09/short-note-on-static-analysis-and.html?showComment=1315574666934 ADD / XOR / ROL: Short note on static analysis and lobbying After getting annoyed with Twitters 140-char limit to make a sane point, I switch back to an old-school medium that allows actual arguments ... short note static analysis add xor rol https://www.nist.gov/itl/csd/secure-systems-and-applications/samate/static-analysis-tool-exposition-sate Static Analysis Tool Exposition (SATE) | NIST May 1, 2026 - SATE is a recurring non-competitive study of static analysis tool effectiveness, aiming at improving tools and increasing public awarenes static analysis tool exposition sate nist https://in.mathworks.com/help/bugfinder/ref/other.html Other - Specify additional command-line flags for static analysis - MATLAB This option is useful only if you run an analysis in the user interface of the Polyspace desktop products. command line flags static analysis specify additional matlab https://www.absint.com/ AbsInt: Static Analysis and Formal Verification of Safety-Critical Software Since 1998, AbsInt offers unique tools and services for static analysis and formal verification of safety-critical software. static analysis formal verification safety critical absint software https://speakerdeck.com/matts966/static-analysis-in-go Static Analysis in Go - Speaker Deck Summer Internship for Engineer 2019 static analysis go speaker deck https://marketplace.eclipse.org/free-tagging/static-analysis/popular static analysis | Eclipse Plugins, Bundles and Products - Eclipse Marketplace | Eclipse Foundation Explore, share, and collaborate on Eclipse Plugins, Tools, and Extensions. Discover new and popular additions to enhance your Eclipse development experience. static analysis products marketplace eclipse plugins bundles https://manpages.ubuntu.com/manpages/resolute/man5/zmk.Coverity.5.html Ubuntu Manpage: Coverity - Module for interacting with Coverity static analysis tool Module for interacting with Coverity static analysis tool static analysis ubuntu manpage coverity module https://opensees.berkeley.edu/community/viewtopic.php?f=6&t=60771 NEW SCRIPT: Static Analysis -- Adaptive Update for Step Size - The OpenSees Community new script static analysis https://research.ibm.com/publications/xml-access-control-using-static-analysis XML access control using static analysis for ACM TISSEC - IBM Research XML access control using static analysis for ACM TISSEC by Makoto Murata et al. access control static analysis xml using https://www.codiga.io/ Codiga: Static Code Analysis in Real-Time Static Code Analysis in VS Code, JetBrains, VisualStudio, GitHub, GitLab and Bitbucket. static code analysis codiga real time https://cifrex.org/ cIFrex - Static Code Analysis (cIFrex.org) cIFrex is a web application helping to search for mistakes in the analysis of the source code. Free static code analysis tool ready for automation static code analysis https://scan.coverity.com/ Coverity Scan - Static Analysis coverity scan static analysis https://github.com/vimeo/psalm GitHub - vimeo/psalm: A PHP static analysis tool for finding errors and security vulnerabilities in... A PHP static analysis tool for finding errors and security vulnerabilities in PHP applications - vimeo/psalm https://en.wikipedia.org/wiki/Static_code_analysis Static program analysis - Wikipedia static program analysis wikipedia https://scan.coverity.com/projects/ffmpeg Coverity Scan - Static Analysis coverity scan static analysis https://heterosta.pkueda.org.cn/ HeteroSTA - GPU-accelerated Static Timing Analysis Engine The first GPU-accelerated, fully-featured static timing analysis (STA) engine. Free for academic and evaluation use. timing analysis gpu accelerated static engine https://nrc-publications.canada.ca/eng/view/object/?id=1ff73f72-1cf3-4665-9fd7-3696fef9601b 3-D finite element analysis of catenary mooring - part II: numerical techniques for static analysis... 3-D finite element analysis of catenary mooring - part II: numerical techniques for static analysis https://market.tutorialspoint.com/course/abaqus-cae-learn-static-and-dynamic-analysis/index.asp Abaqus CAE : Learn Static and Dynamic Analysis - Online Course static and dynamic abaqus cae learn analysis