static analysis - Robuta Search

https://www.ijergs.org/article/v5-i1-6.html NON LINEAR STATIC ANALYSIS FOR RC FRAMED RESIDENTIAL BUILDING USING SAP2000 | IJERGS Vol 5, Issue 1... Non Linear Static Analysis For Rc Framed Residential Building Using Sap2000 - research paper by Yechuri Sai Sandeep Kumar, B.Beeraiah in International Journal... non linear static analysis residential building framed using https://scan.coverity.com/projects/popcorn-time Coverity Scan - Static Analysis static analysis coverity scan https://aicodereview.cc/blog/deepsource-vs-coverity/ DeepSource vs Coverity: Static Analysis Compared | ACR Feb 24, 2026 - DeepSource vs Coverity - AI code review vs enterprise SAST. False positive rates, pricing, compliance, and which tool fits your team in 2026. static analysis coverity compared acr https://scan.coverity.com/projects/lcsogthb-racs Coverity Scan - Static Analysis static analysis coverity scan https://scan.coverity.com/projects/jorjmckie-py-mupdf Coverity Scan - Static Analysis static analysis coverity scan https://kubedojo.com/tag/static-analysis static-analysis — KubeDojo Articles tagged with static-analysis on KubeDojo static analysis https://scan.coverity.com/projects/werner291-motion-planning-around-apple-trees Coverity Scan - Static Analysis static analysis coverity scan https://docs.parasoft.com/display/CPPTESTPROEC20222/Static+Analysis+for+Wind+River+Tornado Static Analysis for Wind River Tornado - Parasoft C/C++test Professional 2022.2 (Eclipse) -... static analysis wind river tornado parasoft test https://arpi.unipi.it/handle/11568/68602 A Static Analysis Technique for Graph Transformation Systems static analysis graph transformation technique systems https://flowlint.dev/cli/ 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://marketplace.eclipse.org/free-tagging/static-analysis 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 eclipse plugins bundles products https://swreflections.blogspot.com/2009/06/value-of-static-analysis-tools.html?showComment=1246247471907 Building Real Software: The Value of Static Analysis Tools Just how effective is static analysis, what does it protect you from? There is a lot of attention given to static analysis tools, especially... real software static analysis building value tools https://scan.coverity.com/projects/ffmpeg Coverity Scan - Static Analysis static analysis coverity scan https://repowise.dev/blog/comparisons/best-static-analysis-tools-large-codebases Best Static Analysis Tools for Large Codebases (2026) Oct 12, 2026 - SonarQube, Semgrep, CodeQL and Coverity compared for large codebases, plus the free analyzer per language and the context layer that ties findings together. static analysis best tools large codebases https://docs.imiron.io/v/0.5.11/en/lilo-static-analysis.html Static Analysis - SpecForge User Guide static analysis user guide https://docs.moderne.io/user-documentation/moderne-platform/getting-started/code-quality/ Enhancing code quality through static analysis remediations | Moderne Docs How to find and fix static analysis and stylistic issues in your code. code quality static analysis enhancing remediations moderne https://aicodereview.io/glossary/static-analysis/ Static analysis: Definition & Why It Matters (2026) | aicodereview.io Analysing source code without running it, using parsers and rules rather than execution — the deterministic half of automated code review. why it matters static analysis definition https://www.preprints.org/manuscript/202510.1348 Design & Static Analysis of a Non-Pneumatic Tyre with Non-Uniform Distance Between the Honeycomb... A non-pneumatic tyre (hereby referred to as “NPT”) is a tyre that is not supported by any internal air pressure. Hence, they tend to be more reliable than a... static analysis pneumatic tyre distance between design non https://kalilinuxtutorials.com/dawnscanner-security-scanner/ Dawnscanner - Static Analysis Security Scanner 2019 Jan 20, 2019 - Dawnscanner is a static analysis security scanner for ruby written web applications. It supports Sinatra, Padrino and Ruby on Rails frameworks. static analysis security scanner https://docs.parasoft.com/display/CPPTEST20211/Customizing+Static+Analysis+Rules Customizing Static Analysis Rules - Parasoft C/C++test Standard 2021.1 - Parasoft Documentation static analysis customizing rules parasoft test https://docs.parasoft.com/display/SOA20212/Static+Analysis Static Analysis - SOAtest 2021.2 - Parasoft Documentation static analysis soatest parasoft documentation https://scan.coverity.com/projects/typetools-annotation-tools Coverity Scan - Static Analysis static analysis coverity scan https://www.aerospacedefenserevieweurope.com/deep-dive/static-analysis-that-holds-up-to-certification--nwid-2830.html Static Analysis That Holds Up to Certification static analysis holds up certification https://docs.parasoft.com/display/CPPTESTPROVS20232/Customizing+Static+Analysis+Overview Customizing Static Analysis Overview - Parasoft C/C++test Professional 2023.2 (Visual Studio) -... static analysis visual studio customizing overview parasoft Sponsored https://www.fling.com/enter.php?prg=1&id=robuta&t=best&ad_id=300x250_4.gif Fling OFFICIAL | Biggest Dating Site For The Curious! FREE registration Looking for real connections? Fling matches verified singles in a safe, inclusive community. Find your perfect match with full support. https://core.trac.wordpress.org/changeset/63019/trunk/.github/workflows/reusable-phpstan-static-analysis-v1.yml Changeset 63019 for trunk/.github/workflows/reusable-phpstan-static-analysis-v1.yml – WordPress Trac Blog Tool and Publishing Platform static analysis changeset trunk github workflows https://pl.ewi.tudelft.nl/seminar/2019/06/18/17-00-sebastian-erdweg/ A Systematic Approach to Static Analysis of Program Transformations static analysis program transformations systematic approach https://www.alvelid.com/case-studies/test/ Referensprojekt: Static analysis of welded steel structure | Alvelid Engineering Vårt kompetensområde inom mekanik är inriktat mot hållfasthet, strukturdynamik och akustik. Vår erfarenhet sträcker sig över bland annat gasturbiner ,... static analysis steel structure welded engineering https://olympix.security/blog/comparing-olympix-and-slither-on-the-eigen-layer-code-base EigenLayer Static Analysis Benchmark | Olympix An EigenLayer static analysis benchmark comparing Olympix and Slither on detection accuracy, true positive rate and false positive rate on real code. static analysis eigenlayer benchmark https://www.sec.in.tum.de/i20/student-work/optimizing-memorysanitizer-instrumentation-using-static-analysis Optimizing MemorySanitizer Instrumentation using Static Analysis — Chair for IT Security static analysis for it optimizing instrumentation using https://mie.beu.edu.az/articles/38 Article | STATIC ANALYSIS OF A FULLY OPEN GATE VALVE USING THE FINITE ELEMENT METHOD IN SOLIDWORKS finite element method static analysis gate valve article fully https://www.velox-project.eu/lowering-stm-overhead-static-analysis Lowering STM overhead with Static Analysis | www.velox-project.eu | www.velox-project.eu static analysis lowering stm overhead www https://docs.parasoft.com/display/CPPDESKE1040/Static+Analysis+with+IAR+Embedded+Workbench+Support Static Analysis with IAR Embedded Workbench Support - Parasoft C/C++test Professional 10.4.0... static analysis iar embedded workbench support https://dblp.org/rec/conf/icse/NguyenMATY19.html dblp: Reducing false positives of static analysis for SEI CERT C coding standard. Bibliographic details on "Reducing false positives of static analysis for SEI CERT C coding standard." sei cert c false positives static analysis coding standard dblp https://kitploit.com/zh/tools/github/structio-labs/n0xis N0xis — AI-first reverse-engineering toolkit: static analysis, SSA decompiler, live memory,... AI-first reverse-engineering toolkit: static analysis, SSA decompiler, live memory, provenance. Source-available (PolyForm Noncommercial). reverse engineering static analysis first toolkit ssa https://www.mech.app/articles/canopii-cli-static-analysis-for-mcp-servers-before-you-connect-them/ Canopii CLI: Static Analysis for MCP Servers Before You Connect Them | mech.app How deterministic scanning catches command injection, prompt-injection markers, over-broad tools, and secrets in MCP servers before runtime. static analysis mcp servers before you cli connect Sponsored https://spicychat.co/enter.php?prg=1&id=robuta&t=best&ad_id=sc_300x250_mt1.jpg SpicyChat - World's Biggest Spicy Chat Community Spicy Chat is the no-pressure place to meet flirty, like-minded adults. Match on vibe, slide into a chat, and let the night take its course. All from one discreet app built for fun. https://analysis-tools.dev/tag/binary 28 Binary Static Analysis Tools, Linters, And Code Formatters | Analysis Tools Find tools that help you improve code quality. All tools are peer-reviewed by fellow developers to meet high standards. static analysis binary tools linters code https://scan.coverity.com/projects/intelpython-mkl_umath Coverity Scan - Static Analysis static analysis coverity scan https://groups.oasis-open.org/communities/community-home/digestviewer/viewthread?GroupId=3109&MessageKey=5dceb559-7cc9-496c-8ea5-6a7ba74855cf&CommunityKey=c64ae352-bebf-446d-8ebf-018dc7d3eeb0&hlmlt=VT Groups - Agenda for July 10, 2019 uploaded | OASIS Static Analysis Results Interchange Format... Document Name : Agenda for July 10, 2019 Description Agenda for the SARIF TC teleconference on July 10, static analysis groups agenda july uploaded https://mailweb.openeuler.org/archives/list/kernel@openeuler.org/thread/QR4IOQW6TPV3TBVR25I7C6R2ISGUZC3L/ [PATCH OLK-5.10 0/2] arm64/mpam: Fix static analysis warning - Kernel - mailweb.openeuler.org static analysis patch olk fix warning Sponsored https://www.camsoda.ai/?id=robuta&ad_id=ai_300x250_12 Camsoda AI: AI Girlfriend App for Chatting, Photos, and Voice Camsoda AI is the AI girlfriend app for real-time chat, photos, and voice. Pick from 200+ characters or create your own. Free to start. https://feahomework.com/who-can-solve-my-curtain-wall-linear-static-analysis-problem Who can solve my curtain wall linear static analysis problem? | Hire Someone To Do My FEA Assignment Mar 13, 2026 - As for curtain wall linear static analysis, it’s a complex problem with several variables to be solved and various mathematical models to apply. I could only curtain wall static analysis to do solve linear https://www.libhunt.com/l/ocaml/topic/static-analysis Top 5 OCaml Static Analysis Projects | LibHunt Which are the best open-source Static Analysis projects in OCaml? This list will help you: infer, bap, bolt, mazeppa, and illuaminate. static analysis top ocaml projects https://speakerdeck.com/wata727/static-analysis-of-terraform-language Terraform言語の静的解析 / static analysis of Terraform language - Speaker Deck Lint Night #4 の発表資料です https://lintnight.connpass.com/event/385142/ static analysis speaker deck terraform language https://www.todesktop.com/static-analysis/preload-js-check Preload JS Check | ToDesktop Static Analysis Documentation Review the use of preload scripts static analysis preload check documentation https://researchwith.njit.edu/en/projects/collaborative-research-shf-medium-precise-static-analysis-of-even/ Collaborative Research: SHF: Medium: Precise Static Analysis of Event-based Systems - New Jersey... static analysis new jersey collaborative research shf https://www.skills.sh/dart-lang/skills/dart-run-static-analysis/security/agent-trust-hub Security Audit — agent-trust-hub — dart-run-static-analysis Discover and install skills for AI agents. security audit trust hub static analysis agent dart https://aicodereview.cc/blog/codacy-python/ Codacy for Python: Code Quality and Static Analysis | ACR Feb 15, 2026 - How to use Codacy for Python projects - Pylint, Bandit, Prospector, coverage, Django/Flask security, and custom rules explained. python code static analysis quality acr https://vibeagentmaking.com/blog/my-static-analysis-check-reported-302-findings/ My Static Analysis Check Reported 302 Findings. Every One Was Correct. One Was Worth Acting On. Every one of the 302 was correct. One was worth acting on. The distance between those two facts was a factor of thirty. static analysis every one check reported findings https://au.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://gitlab.xfce.org/xfce/libxfce4util/-/merge_requests/43 ci: Enable static analysis jobs (!43) · Merge requests · Xfce / libxfce4util · GitLab Related: xfce4-dev-tools!112 static analysis merge requests enable jobs xfce Sponsored https://www.sassyseniors.com/enter.php?prg=1&id=robuta&t=best&ad_id=sass_300x250_splitlsblacklingeriephone.jpg Sassy Seniors - The best passionate personals for 50 plus dating Intimate dating for sexy local seniors. https://ch.mathworks.com/de/videos/solar-impulse-uses-polyspace-static-analysis-for-solar-airplane-107994.html Solar Impulse Uses Polyspace Static Analysis for Solar Airplane - MATLAB & Simulink Explore how Solar Impulse uses Polyspace static analysis to ensure the software in their solar plane complies with DO 178B. solar impulse static analysis uses polyspace airplane https://www.jenkins.io/doc/pipeline/steps/p4sa/ Perforce Static Analysis Plugin Jenkins – an open source automation server which enables developers around the world to reliably build, test, and deploy their software static analysis perforce plugin https://scan.coverity.com/projects/devportal Coverity Scan - Static Analysis static analysis coverity scan https://gitlab.doc.ic.ac.uk/explore/projects/topics/static%20analysis?language_name=Assembly&sort=name_desc static analysis · Topics · GitLab static analysis topics gitlab Sponsored https://www.litlatinz.com/enter.php?prg=1&id=robuta&t=best&ad_id=litlatinz_300x250_phoneswap0.gif LitLatinz Date with some spice. Join for free to meet sexy local Latinas. https://scan.coverity.com/projects/3061 Coverity Scan - Static Analysis static analysis coverity scan https://learn.microsoft.com/en-us/archive/msdn-magazine/2008/december/toolbox-static-analysis-tools-for-net-matt-berseth%E2%80%99s-blog Toolbox: Static Analysis Tools For .NET, Matt Berseth’s Blog | Microsoft Learn static analysis microsoft learn toolbox tools matt https://docs.phalcon.io/5.16/static-analysis/ Static Analysis | Phalcon Documentation Oct 10, 2026 - Phalcon Framework. A full-stack PHP framework delivered as a PHP extension, offering lower resource consumption and high performance. static analysis phalcon documentation https://www.cyberhub.blog/article/20487-researcher-huang-explores-integrating-llms-with-static-analysis-tools-for-enhanced-vulnerability-detection Researcher Huang Explores Integrating LLMs with Static Analysis Tools for Enhanced Vulnerability... The presentation by Huang, a researcher transitioning from browser and cloud security to AI applications, explores integrating large language models (LLMs) with static analysis researcher huang explores integrating https://scan.coverity.com/projects/sydbox Coverity Scan - Static Analysis static analysis coverity scan https://feahomework.com/linear-static-analysis Linear Static Analysis | Hire the Best Finite Element Analysis Specialists static analysis the best finite element linear hire https://docs.parasoft.com/display/SOAVIRT9103/Reviewing+Static+Analysis+Results Reviewing Static Analysis Results - SOAtest and Virtualize 9.10.3 - Parasoft Documentation static analysis reviewing results soatest virtualize https://softwarepatternslexicon.com/c-sharp/testing-and-design-patterns/code-coverage-and-static-analysis/ Code Coverage and Static Analysis in C# | Software Patterns Lexicon Sep 16, 2026 - Use C# coverage and static analysis signals to find testing gaps and code risks without mistaking metrics for quality. code coverage static analysis software patterns lexicon https://speaking.akrabat.com/14oUlS/strict-typing-and-static-analysis Strict typing and static analysis PHP 7 introduced type declarations and so brought PHP into the world of strict typing. Each subsequent release in the 7 series has improved this and PHP 7.4 is... static analysis strict typing https://scan.coverity.com/projects/seshenya-tooltest Coverity Scan - Static Analysis static analysis coverity scan https://scan.coverity.com/projects/watzkej-resistance-calendar-api Coverity Scan - Static Analysis static analysis coverity scan https://pakmcqs.com/software-engineering-mcqs/dependability-and-security/static-analysis-is-now-routinely-used-in-the-development-of-many-safety-and-security-critical-systems Static analysis is now routinely used in the development of many safety and security critical... Feb 3, 2019 - A. True B. False Explanation: The static analyzer can discover areas of vulnerability such as buffer overflows or unchecked inputs Advertisement safety and security static analysis in the routinely used https://microsoft.github.io/zerotrustassessment/docs/workshop-guidance/devsecops/DS_012 Implement static analysis security testing (SAST) | Microsoft Zero Trust Implementation Effort: Medium – Enabling CodeQL code scanning across repositories and wiring it into pull request and CI workflows takes setup and tuning... static analysis security testing zero trust implement sast https://diag.uniroma1.it/node/6691 Automata-based Static Analysis of XML Document Adaptations | Dipartimento di Ingegneria... static analysis xml document automata based adaptations https://scan.coverity.com/projects/vincenzodistasio97-stackoverflow-clone-backend Coverity Scan - Static Analysis static analysis coverity scan https://orbit.dtu.dk/en/publications/a-succinct-approach-to-static-analysis-and-model-checking/ A Succinct Approach to Static Analysis and Model Checking - Welcome to DTU Research Database static analysis and model research database succinct approach https://mrdee.in/notes/first-steps-03-01-2026/ First Steps: Static Analysis on the curl Repo · mrdee.in Mar 1, 2026 - Running a static code analyser on the curl source — what came up, what was a false positive, and what to watch out for. first steps static analysis on the curl repo https://www.adacore.com/blog/gnat-static-analysis-suite-a-vision-for-static-analysis-in-ada GNAT Static Analysis Suite: A Vision for Static Analysis in… | AdaCore You may have noticed that over the past two years, we have made significant updates to our CodePeer product - the most visible change being the renaming… static analysis gnat suite vision adacore Sponsored https://www.camsoda.com/?id=robuta&ad_id=300x250_1.gif Free Live Sex Cams, Cam Girls, Adult Chat, and Pornstar Cams | Camsoda Join Camsoda for the hottest live cam girls! Free HD webcam shows, private sessions, and real-time chat with sexy models. Watch live now and enjoy! https://groups.oasis-open.org/events/event-description?CalendarEventKey=d91c0bd5-496c-4960-975a-fe42e7451d78&CommunityKey=c64ae352-bebf-446d-8ebf-018dc7d3eeb0&hlmlt=ED OASIS Static Analysis Results Interchange Format (SARIF) TC Meeting #6 - OASIS Description: Chat location is: http://webconf.soaphub.org/conf/room/sarif Join Skype Meeting: static analysis oasis results interchange format https://scholars.lmu.edu/en/publications/modelling-android-applications-through-static-analysis-and-system-2/ Modelling Android applications through static analysis and systematic exploratory testing - Loyola... android applications static analysis exploratory testing modelling systematic https://feahomework.com/will-you-help-me-with-linear-static-analysis-of-my-shelving-unit Will you help me with linear static analysis of my shelving unit? | Hire Someone To Do My FEA... Mar 15, 2026 - In my experience, the shelving unit had some serious performance issues that affected the quality of my work in my class. It was a large unit, which meant will you help me static analysis of my to do https://gitlab.doc.ic.ac.uk/explore/projects/topics/static%20analysis?language=13&sort=name_desc static analysis · Topics · GitLab static analysis topics gitlab https://pergamos.lib.uoa.gr/item/uoadl:2672625 Static Analysis of Hybrid Android Applications - Πέργαμος Οι υβριδικές εφαρμογές κινητών συσκευών συνδυάζουν στοιχεία γραμμένα στην εγγενή γλώσσα της κάθε πλατφόρμας(Java/Kotlin για Android, Swift για iOS κλπ) και σ... static analysis android applications hybrid https://gitlab.doc.ic.ac.uk/explore/projects/topics/static%20analysis?archived=true&language_name=Ruby&sort=latest_activity_asc static analysis · Topics · GitLab static analysis topics gitlab https://10kb.nl/en/glossary/static-analysis What is static analysis? — 10KB Static analysis examines code without running the software. Learn which errors these checks can find and where their limits lie. what is static analysis https://piptrends.com/python-toolbox/static-analysis-and-code-quality Top static-analysis-and-code-quality packages Top static-analysis-and-code-quality packages static analysis code quality top packages https://scan.coverity.com/projects/hunteraz-team26-sast Coverity Scan - Static Analysis static analysis coverity scan https://transactionsonaerospaceresearch.pl/numer/217-2011/static-analysis-of-plastic-limit-state-of-thin-walled-beams-with-open-cross-sections/ Static Analysis of Plastic Limit State of Thin-Walled Beams with Open Cross-Sections - Transactions... thin walled beams static analysis plastic limit cross sections state https://scan.coverity.com/projects/sherli7-sherli7angularpro Coverity Scan - Static Analysis static analysis coverity scan https://www.testingtoolsguide.net/listing-category/static-analysis/ Static analysis Archives - Software Testing Tools Guide static analysis software testing archives tools guide https://www.qt.io/quality-assurance/resources/videos/axivion-webinar-tit-for-tat-how-not-to-bully-a-static-analysis-tool?hsLang=en Webinar: Tit for Tat: How (not) to bully a Static Analysis Tool Modern static analysis tools are able to spot a large number of critical runtime defects such as null pointer dereferences, overflows, uses of uninitialized ... tit for tat how not to static analysis tool webinar bully https://docs.parasoft.com/display/SOA9103/Web+Static+Analysis Web Static Analysis - SOAtest 9.10.3 - Parasoft Documentation static analysis web soatest parasoft documentation https://forums.parasoft.com/discussion/5153/static-analysis-with-bazel Static Analysis with Bazel — Parasoft Forums Hi, I have a project using bazel for the build system. Unfortunately, it looks like the trace functionality doesn't work with bazel. static analysis bazel parasoft forums https://fuchsia.dev/fuchsia-src/development/kernel/ctu_analysis Cross Translation Unit Static Analysis in Zircon | Fuchsia translation unit static analysis cross zircon fuchsia https://gitlab.doc.ic.ac.uk/explore/projects/topics/static%20analysis?language_name=TSX&sort=name_desc static analysis · Topics · GitLab static analysis topics gitlab https://scan.coverity.com/projects/granite Coverity Scan - Static Analysis static analysis coverity scan https://docs.phalcon.io/5.11/static-analysis/ Static Analysis | Phalcon Documentation Oct 10, 2026 - Phalcon Framework. A full-stack PHP framework delivered as a PHP extension, offering lower resource consumption and high performance. static analysis phalcon documentation https://docs.parasoft.com/display/SOAVIRT9107/Static+Analysis Static Analysis - SOAtest and Virtualize 9.10.7 - Parasoft Documentation static analysis soatest virtualize parasoft documentation https://www.ijisrt.com/static-analysis-of-leaf-spring-for-light-commercial-vehicle Static analysis of leaf spring for light commercial vehicle| International Journal of Innovative... light commercial vehicle static analysis leaf spring international journal innovative https://scan.coverity.com/projects/nowornever-tofuture-swp_hair-salon-booking-app Coverity Scan - Static Analysis static analysis coverity scan https://scan.coverity.com/projects/wikimedia-mediawiki-services-electron-render-deploy Coverity Scan - Static Analysis static analysis coverity scan https://sei.cmu.edu/blog/evaluating-static-analysis-alerts-with-llms/ Evaluating Static Analysis Alerts with LLMs | CMU Software Engineering Institute LLMs show promising initial results in adjudicating static analysis alerts, offering possibilities for better vulnerability detection. This post discusses... static analysis software engineering evaluating alerts llms https://aicodereview.cc/blog/deepsource-python/ DeepSource for Python: Static Analysis and Autofix | ACR Feb 23, 2026 - Set up DeepSource for Python projects. Covers .deepsource.toml config, Python rules, autofix, type checking, security analysis, and Django/Flask support. static analysis python autofix acr https://scan.coverity.com/projects/sherli7-sherli7-pro Coverity Scan - Static Analysis static analysis coverity scan https://scan.coverity.com/projects/florianobermayer-fribbe-status-checker Coverity Scan - Static Analysis static analysis coverity scan https://scan.coverity.com/projects/smeighan-nutcracker Coverity Scan - Static Analysis static analysis coverity scan https://scan.coverity.com/projects/salarcode-bois Coverity Scan - Static Analysis static analysis coverity scan