Search Results for "splint"

x
Sort By:

Showing 6 open source projects for "splint"

View related business solutions
  • MongoDB Atlas runs apps anywhere Icon
    MongoDB Atlas runs apps anywhere

    Deploy in 115+ regions with the modern database for every enterprise.

    MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
    Start Free
  • Gemini 3 and 200+ AI Models on One Platform Icon
    Gemini 3 and 200+ AI Models on One Platform

    Access Google's best plus Claude, Llama, and Gemma. Fine-tune and deploy from one console.

    Build generative AI apps with Vertex AI. Switch between models without switching platforms.
    Start Free
  • 1
    DEEEP

    DEEEP

    Detector of Integer Vulnerabilities in Software Portability

    DEEEP is a open source static analysis tool to detect, in C programs, integer vulnerabilities caused by the bad adaption of aplications from ILP32 to LP64. It uses the tools Lint and Splint, and runs over Open Solaris and Linux operating systems. This tool semantically analyses source code. More precisely, it does type checking, data-flow analysis, and it automatically correlates the results of these two types of analysis. Type checking is used for finding bugs on the way integers are handled, and data-flow analysis is used to see if hazardous functions (eg. memcpy, strcpy) are accessible from outside the program. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    This project attemps to integrate the Eclipse CDT C/C++ IDE and the Splint static checker.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    Splint is a tool for statically checking C programs for coding errors and security vulnerabilities. If effort is invested adding annotations to programs, Splint can perform stronger checking than is possible with traditional lints.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    This is the old LCLint project repository. See https://sourceforge.net/projects/splint for the current Splint project.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Auth0 B2B Essentials: SSO, MFA, and RBAC Built In Icon
    Auth0 B2B Essentials: SSO, MFA, and RBAC Built In

    Unlimited organizations, 3 enterprise SSO connections, role-based access control, and pro MFA included. Dev and prod tenants out of the box.

    Auth0's B2B Essentials plan gives you everything you need to ship secure multi-tenant apps. Unlimited orgs, enterprise SSO, RBAC, audit log streaming, and higher auth and API limits included. Add on M2M tokens, enterprise MFA, or additional SSO connections as you scale.
    Sign Up Free
  • 5
    This program makes it possible to read a file produced by the option "-fdump-tree-original" which replaces the old "-fdump-ast-<I>switch</i>". The goal is to automatically annotate C code for SPLint (actually we focus on possibly null pointer)
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    torque - Automation Testing Tool

    torque - Automation Testing Tool

    Automation unit testing tool for C & C++ on Linux platform

    ...Two major sections of the testing area like memory management and code coverage is accomplished by open source tools, such as, • Valgrind -- Memory Management • Lcov -- Code Coverage • splint -- Static Code Analysis 2. Supported Platform • Linux operating system on Intel x86 architecture • Linux operating system on Intel x86_64 architecture
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next

Related Searches

Related Categories

MongoDB Logo MongoDB