Search Results for "source code static anala" - Page 13
Sort By:
Showing 344 open source projects for "source code static anala"
View related business solutions-
Ship Agents FasterGemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
-
Cut Data Warehouse Costs by 54%BigQuery delivers 54% lower TCO with exabyte scale and flexible pricing. Free migration tools handle the SQL translation automatically.
-
1
AWK~plus is the next generation script practice environment. The AWK Language specifications and a main extension of GNU GAWK. Combination of Dynamic and Static typing. Parallel computing that a lock is free, and is thread safe at a language level.
-
2
Java Dynamic Component Framework
This is a lightweight java dynamic component framework
This lightweight dynamic component framework, implemented in Java in a first time uses no code generation at all but uses only contracts. Contracts are expressed using simple software mechanism as interfaces and/or reflection (from middleware to application). A single small jar hosts the code dedicated to data, event and services management over the network, using contracts, reflection and generics. The main goal of the Java Dynamic Component Framework (jdcf) is to simplify the writing... -
3
AdLint Goodies
Utilities for AdLint the source code static analyzer
AdLint Goodies is a collection of miscellaneous utilities for AdLint. All goodies are written in Ruby and available for Windows, Mac OS X, GNU/Linux, FreeBSD and any other platforms supported by Ruby. -
4
pykb
Python Killboard Platform for EVE Online
This platform provides a Python based killboard backend supporting common tasks such as interfacing with the EVE API to fetch killmail logs, interact with EDK killboards to fetch killmails from them and parse manually logged killmails. The database layer is generic thanks to SQL Alchemy so any dbms can be used. Static data and schemas for PostgreSQL and MySQL are provided. Aggregates exist along with code to maintain them to enable high speed reports for summarized data. A point... -
Our Free Plans just got better! | Auth0You 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.
-
5
Octopress
Octopress is an obsessively designed framework for Jekyll blogging
Octopress is a blogging framework built on top of Jekyll, designed to make static site generation easier and more attractive for developers. It provides a theming system, plugins, and prebuilt templates for blogs that are responsive, SEO-friendly, and customizable. Octopress simplifies common tasks like syntax highlighting for code snippets, social sharing integration, and deployment scripts for publishing to GitHub Pages or other static hosts. It emphasizes a developer-centric workflow,... -
6
Eclipse Plug-In that determines the Minimal Access Modifier of Java types and methods project and computes the software metrics Inappropriate Generosity with Accessibility of Types (IGAT) and Inappropriate Generosity with Accessibility of Methods (IGAM). The Minimal Access Modifier of a Java type or type member is the most restrictive access modifier that is able to allow all actual usages of the particular type or member from inside a given code base (normally the entire source code of...
-
7
NodeCom is an open-source component framework for extremely constrained WSN. This project sourceforge is under construction. The code will be added soon. See our laboratory web page: http://domus.usherbrooke.ca/
-
8
Libcondset
This library provides a class representing sets of predicates and data
Libcondset is a library for the manipulation of Condition Sets, which are sets of predicates and data. The class also has a compact binary format, making this class best suited to sending conditions over the network or saving them in files. It is a small library providing one C++ class. It can be used as a dynamic library, a static library, or just a header and an object file. This library has been tested for the formats portability and has been tested on Ubuntu 11.04, Ubuntu 10.04, and... -
9
XJML
XJML 1.0 is a platform for Verification and Validation of Java classes
XJML 1.0 actually can reads one Java class and its contract (written in XML) and then executes the next verification techniques: 1. Runtime Assertion Checking (RAC). Using JML4c and JML4rt tools. 2. Extended Static Checking (ESC). Using ESC/Java2. 3. Full Static Program Verification (FSPV). Using the Why platform (tested with Why 2.30 and Why3 0.71) -
99.99% Uptime for MySQL and PostgreSQL DatabasesCloud SQL Enterprise Plus delivers near-zero downtime with 35 days of point-in-time recovery. Supports MySQL, PostgreSQL, and SQL Server.
-
10
A static checker that model checks the implementation of equality for an Eclipse Java Project.
-
11
CoffeeKup
Markup as CoffeeScript
CoffeeKup is a concise templating engine written in CoffeeScript that aims to provide an expressive, readable way to generate HTML from templates inside Node.js applications. It emphasizes minimal, CoffeeScript-style syntax so template authors can write small, elegant templates that integrate naturally with CoffeeScript codebases. The engine supports common templating needs—embedding variables, simple control flow, partials/includes, and basic layout patterns—while focusing on clean, compact... -
12
A spring utility that makes developing with spring a little easier by enabling, with minimal code, runtime wiring, static ApplicationContext access, easy spring application creation and FitNesse-Spring integration
-
13
PHPCallGraph generates static call graphs for PHP source code using the CodeAnalyzer of the InstantSVC project and the DOT tool. The graphs can be leveraged to gain a better understanding of large software systems or even to debunk design flaws in them.
-
14
PyChecker is a static analysis tool for finding bugs in Python source code. It finds problems that are typically caught by a compiler for less dynamic languages, like C and C++. It is similar to lint.
-
15
A cross platform Http web server developed using C++. Agile methodology with emphasis on :- 1. Good Design 2. Object Oriented Programming 3. Refactoring 4. Static/Dynamic Analysis, Unit-testing, Code Coverage 5. Software Engineering best practices.
-
16
HTML Generator is a simple code generator that generates simple static html web sites with different views. It was developed using Hakaya Studio 3.5
-
17
GWTApp provides several features like: HTML templating and messaging at runtime without application recompiling, MetaField to auto bind and simulate annotation of RPC data fields, Strong typing in MVC, Modular structure in Maven.
-
18
LSGTL means LLX’s Static Graph Template Library which is a light-weighted header-only template library developed mainly for static graph analysis. LSGTL is expected to be used in laboratories for research purposes mostly.
-
19
ColladaLoader is a free open source C# Library that enables developers to load and display Collada 3D Model files (.DAE) in DirectX 10 using the SlimDX SDK. Partitial .X file support. More info: http://www.tomsdevshack.be/projects/colladaloader
-
20
Sugar4j generates code without the use of external text files, templates, JSP and the like. The static and the dynamic parts are both contained in the same Sugar4j java file. Everything is java. publicc().classs("Sugar4j").empty();
-
21
Abstracts developers from SQL syntax, with methods that return Strings to pass on to JDBC, thus allowing compile-time checking for, many, otherwise run-time bugs. e.g. stmt.executeQuery(SqlWrapper.selectId(ordersTable, customerColumn, "John Smith")
-
22
A platform for developing mathematical models of static/dynamic physical systems, a simulation evironment for such models and a set of component libraries. It combines features from Simulink, Modelica or AMESim with unique features on its onw.
-
23
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.
-
24
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.
-
25
Highly customizable CASE-Tool for static code analysis based on software metrics with additional support for easy interpretation and Agile Development (evolutionary design).