Showing 347 open source projects for "source code static anala"

View related business solutions
  • Our Free Plans just got better! | Auth0 Icon
    Our Free Plans just got better! | Auth0

    With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.

    You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
    Try free now
  • Build Agents and Models on One Platform Icon
    Build Agents and Models on One Platform

    Everything you need to build production-ready agents and models. Access 200+ Google and third-party AI models and tools.

    Gemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
    Try It Free
  • 1
    ClassFromConfig is code generation utility that creates a static class from your Web.config or App.config. It privides an easy access to appSettings and connectionStrings, as well as Custom Configuration Sections.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    'Legato' is a .NET code library which provides a collection of static methods and classes which greatly simplify a number of common tasks in .NET development and can be used in both ASP.NET and standard .NET desktop application development. Here are s
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    Code Distance Visualizer is a static program analyzer. It learns patterns in user defined faulty and correct code instances and using visualization indicates which fragments in a program’s source code are the most similar to these instances.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    PowerMock allows you to unit test code normally regarded as untestable. For instance it is possible to mock static methods, remove static initializers, allow mocking without dependency injection and more.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 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
  • 5
    Highly customizable CASE-Tool for static code analysis based on software metrics with additional support for easy interpretation and Agile Development (evolutionary design).
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    Static analysis tool for C & C++ source code. Object browser, source viewer and preprocess demistificator. Dependecy solver and hierarchy ilustrator.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    YIIHAW is a static cross-language aspect weaver for .NET. It was designed with one clear objective in mind: To make an efficent aspect weaver that does not introduce any runtime overhead when applying aspects to an assembly.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    METIL is a python-like interpreted or compiled language made for speed and generic programming, as in C++ but with static symbolic computations, type propagation, "for" surdefinition. Object orientation is centered on properties, rather than hierarchy.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    NPL is a programming language designed to ease code visualisation. It visualises the static and dynamic aspects of a program along with it's semantics, thus making reading code easier.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Stop vibe-debugging. Icon
    Stop vibe-debugging.

    Plug Claude into your app's actual errors.

    AppSignal's MCP server hands Claude, Cursor, or Zed your real errors, traces, and the deploy that shipped them. AI writes the fix; you review the diff.
    Free 30 days.
  • 10
    SecurityCoach is an extensible software security auditing system that integrates with Eclipse, seamlessly performs static analysis of the source code in the background and warns a developer about potential software security vulnerabilities.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    EJB3checker is a static code analyzation suite for the EJB 3.0 technology. It checks the correct combination of annotations and declarations for entity and session beans.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    This tool tests COBOL source code, using the SSA (Single Static Assignment) form as intermediate representation to obtain varibles definition-use chains under different criteria.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    XHTMLUnit builds on JUnit and XMLUnit in order to provide testing and validation of generated (and static) XHTML code.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    Java Class and Byte Code verifier. Verifies static class file structure, external references, analyzes operand stack and local variables through byte code execution emulation. Includes CLDC standard verfication.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    DynaHTML
    DynaHTML combines the advantages of static HTML pages with the flexibility of dynamic pages that employ server side scripting like php. This goal is reached using static HTML with inline script code that is converted to HTML on manual triggering.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    A static HTML preprocessor.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    The TclPro tool set includes a graphical debugger, a static code checker, a wrapper to generate stand-alone executables, a "compiler" that writes out Tcl byte codes, and a loader that reads byte codes.
    Downloads: 17 This Week
    Last Update:
    See Project
  • 18
    The aim is to develop a framework to translate UIML (User Interface Markup Language) description of UI into a number of plaforms (wxPython, HTML, etc.). Dynamic and "static" (into a program) rendering implied.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    Enerjy is a static code analyzer for Java that integrates seamlessly with Eclipse. In addition to scanning your source code for stylistic problems, bugs and inefficient code, Enerjy also calculates your Enerjy Index Score.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    Description language based on XSD and rules stored in a centralized directory intend to allow development of applications from static descriptions.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    Spider is a Java framework for creating web applications. Its major design goals are are testing, reducing boilerplate code, avoiding static state through dependency injection, strict M-V-C separation and convention over configuration.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    CQSAT is a powerful, comprehensive and extensible framework for static analysis of program source code and detection of software defects.
    Downloads: 0 This Week
    Last Update:
    See Project