Lock Order Violation Evaluator

  •        0

Tool for finding potential deadlocks in .NET programs using static code analysis.




comments powered by Disqus

Related Projects

JMeter - Load and Performance tester

JMeter is a pure Java desktop application designed to load test functional behavior and measure performance. It may be used to test performance both on static and dynamic resources (files, Servlets, Perl scripts, Java Objects, Data Bases and Queries, FTP Servers and more). It can be used to simulate a heavy load on a server, network or object to test its strength or to analyze overall performance under different load types.

MPJ Express - Parallel Programming in Java

MPJ Express is an open source Java message passing library that allows application developers to write and execute parallel applications for multicore processors and compute clusters/clouds. It allows writing parallel Java applications using an MPI-like API.

brakeman - A static analysis security vulnerability scanner for Ruby on Rails applications

A static analysis security vulnerability scanner for Ruby on Rails applications

MPI Python

Distributed Parallel Programming for Python! This package builds on traditional Python by enabling users to write distributed, parallel programs based on MPI message passing primitives. General python objects can be messaged between processors. Ru

SISAL Parallel Programming

Sisal is a unique parallel language that supports a clean, fully implicit parallelization model. The optimizing sisal compiler (sisalc) works on top of pthreads to give high performance on commodity SMP architectures.

Sokoban YASC

Sokoban YASC - Yet Another Sokoban Clone - for Windows. A wealth of features, e.g., deadlock detection, reverse mode, and replay mode. Good import functions and highly configurable, e.g., skins. Tools: Editor, solver, optimizer, and generator.


FRAME3DD is a program for the static and dynamic structural analysis of two- and three-dimensional frames and trusses with elastic and geometric stiffness.

parashell - Parallel Port Control

Parallel Port Control Made Easy - parashell allows control of a PC parallel port (input and output) with simple command line arguments. The simplicity of these programs make it very easy to use in scripts. Control stepper motors, Relays, LEDs, etc...


The Massively Parallel Quantum Chemistry program, MPQC, computes properties of atoms and molecules from first principles using the time independent Schrouml;dinger equation.


Static analysis of C/C++ code. Checks for: memory leaks, mismatching allocation-deallocation, buffer overrun, and many more. The goal is 0% false positives. See the wiki for more information.