Search Results for "source code static anala" - Page 18

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...

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)

A static checker that model checks the implementation of equality for an Eclipse Java Project.

Greetings! Since all mambo websites are not working properly, I decided to host it here on sourceforge.net for educational use! ALL CREDITS GOES TO MAMBO DEVELOPER TEAM!!! Latest Version is MamboV4.6.5 Added Old Mambo Forks(Discontinued version's)! Added old Plugins(Very hard to find,may not exist anymore)! Added New MamboV4.7 & MamboV5 Experimental Versions! Thank you Bye!

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...

Shweb is a tiny web server written in shell script, POSIX compliant with most used small unix shell interpreters, like ash (busybox included), dash, and bash also. Support for static pages. Works in conjunction with any superdaemon like [x]inetd.

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

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.

This is an open source tool to do static analysis of php code for security exploits

rawk (rage against web frameworks) - generates a static content from a tree of markdown files and other content. it was originally written by kyle isom based on the suckless webframework (sw) by nibblesec.

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.

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.

The IPv6 Stack that runs on your target. FIP is designed to fit in medium-sized 8-bit microcontrollers, while not sacrificing performance on larger devices.

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

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.

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.

Feathery is a very small and full-featured ftp server for embedded devices. It is easy portable to every 8, 16 or 32 bit architecture and can run with or without an operating system.

Classes and functions to allow exporting of lights, brushes, static meshes to t3d files to import into the UDK editor. Great for procedural and code generated levels!

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

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();

Detects vulnerability in a C Code. Built in Unix.

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")

An analyzing tool for projects written in PHP. It analyzes a system, calculates various unit metrics, such as cyclomatic complexity and dependencies to other units. It can also be integrated with Xdebug to perform other dynamic measures

Design-Side Includes (DSI) is a command-line utility for inserting common sections of HTML code into multiple web pages at design-time. Use DSI to reuse web content while still realizing the operational benefits of deploying static web pages.

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.