Search Results for "analysis"

...This library has gone through code quality checks including verification that no function has a GNU Complexity score over 8, and checks against deviations from mandatory rules in the MISRA coding standard. Deviations from the MISRA C:2012 guidelines are documented under MISRA Deviations. This library has also undergone static code analysis using Coverity static analysis, and validation of memory safety through the CBMC automated reasoning tool.

Capstone is a disassembly framework with the target of becoming the ultimate disasm engine for binary analysis and reversing in the security community. Created by Nguyen Anh Quynh, then developed and maintained by a small community, Capstone offers some unparalleled features. Support multiple hardware architectures: ARM, ARM64 (ARMv8), Ethereum VM, M68K, Mips, MOS65XX, PPC, Sparc, SystemZ, TMS320C64X, M680X, XCore and X86 (including X86_64).

...This library has gone through code quality checks including verification that no function has a GNU Complexity score over 8, and checks against deviations from mandatory rules in the MISRA coding standard. Deviations from the MISRA C:2012 guidelines are documented under MISRA Deviations. This library has also undergone static code analysis using Coverity static analysis.

...BCC makes BPF programs easier to write, with kernel instrumentation in C (and includes a C wrapper around LLVM), and front-ends in Python and lua. It is suited for many tasks, including performance analysis and network traffic control. With a BPF-specific frontend, one should be able to write in a language and receive feedback from the compiler on the validity as it pertains to a BPF backend. This toolkit aims to provide a frontend that can only create valid BPF programs while still harnessing its full flexibility.

MicroCity is a framework for spatial analysis and simulation. It is lightweight, fast, portable, extendable and user friendly. Users can easily operate large GIS and Grid data and perform Spatial, Fractal, Network analysis and simulation.

The Software Testing Automation Framework (STAF) is a framework designed to improve the level of reuse and automation in test cases and test environments. The goal of STAF is to provide a complete end-to-end automation solution for testers.

...IBEX software package was developed using the MATLAB and C/C++ programming languages. The software architecture deploys the modern model-view-controller, unit testing, and function handle programming concepts to isolate each quantitative imaging analysis task, to validate if their relevant data and algorithms are fit for use, and to plug in new modules.

BRAHMS is a Modular Execution Framework for dynamical systems. It knits together independently-authored software modules implementing dynamical processes into an integrated system, and supervises the deployment and execution of that system.

SNAP (Small-world Network Analysis and Partitioning) is an extensible parallel framework for exploratory analysis and partitioning of large-scale networks.

Here you'll find Cocoa Frameworks that simplify DVD playback and archiving, provide advanced image analysis and modification filters, and evaluate complex mathematical expressions with ease. Advance your perspective with Impulse Development.

GNUexp is a GNUstep/Cocoa framework and a collection of tools helping you to plan, develop, and administer applications associated with visual psychophysics, experimental psychology and statistical data analysis.

Java OpenCL Process Virtual Machine. Spring IoC based framework for complex data analysis with OpenCL computing.

The SAVE-IDE is an integrated development environment for architectural and component-based design of embedded systems. Including a tool chain for analysis, verification and code generation, with focus on safety and real-time.

Project aims to simplify Linux kernel analysis and development. Primary audience to the result of project will be (under)graduate students attending "Operating system" courses. It is our intention to make advances with every generation of students.