Search Results for "check"

IPv6 CARE, "IPv6 Compliant Automatic Runtime Environment", provides an environment where applications instantly become IPv6-compliant ('patch' mode, see RFC6535). It can also generate a diagnosis about the IPv6 compliance of an application ('check' mode). It uses an LD_PRELOAD-based library injection technique.

Ejudge - system for various events where you want to check programs automatically. The system can be used for programming contests, trainings and etc. Author is Alexander Chernov. Current version - 3.0.1

First ever security assessment tool developed for Microsoft Office Communication Server R1/R2. OAT is designed to check security posture of MS OCS deployments.

Template2Code (T2C) is a collection of tools dealing with template-based file generation. Currently it includes MiST - Minimal String Template engine and T2C itself that uses template based techniques to generate the sources of unit tests.

STUBborn C is a tool that allows you to create a module test framework for SW modules developed in C. The framework includes: Stubs needed to link the module; A sample Makefile to build, run tests and check code coverage; Test templates using CUnit.

eXplode is a storage system checker. It contains a generic model checker for real code instead of abstract models. Using this model checker, eXplode can systematically check a storage system against many possible crashes to find crash-recovery errors.

The BP-Tools set consist from applications supporting EFT testing, benchmarking and transaction service development. BP-Tools suite currently consists of following three components: - BP-CCALC: Cryptographic Calculator - BP-CardEdit: Thales P3 Input/Output file editor - BP-EMVT: EMV Tool - BP-HCMD: Thales HSM Commander