Lock Order Violation Evaluator

  •        72

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

http://love.codeplex.com/

Tags
Implementation
License
Platform

   




Related Projects

init-deadlock - Demo of static init deadlock


Demo of static init deadlock

d2 - A library-based approach to deadlock detection using dynamic analysis.


A library-based approach to deadlock detection using dynamic analysis.

Apache Pig - Platform for analyzing large data sets on Hadoop.


Apache Pig is a platform for analyzing large data sets on Hadoop. It provides a high-level language for expressing data analysis programs, coupled with infrastructure for evaluating these programs.

wrenalyzer - Static analyzer for the Wren programming language


Wrenalyzer is (or will be) a static analysis library for the Wren programming language, written in Wren.

Parallel Programming with Microsoft .NET


Code samples for the patterns & practices book on design patterns for parallel programming, Parallel Programming with Microsoft .NET.



Parallel Programming with Microsoft Visual C++


Code samples for the patterns & practices book on design patterns for parallel programming, Parallel Programming with Microsoft Visual C++.

Resource-Static-Analysis - The Resource Static Analysis enables companies and localization suppliers to quickly add scalable validation checks to help ensure quality doesn't suffer as software and content is localized and data is exchanged between internal workflows and even between companies


#Resource Static Analysis The Resource Static Analysis enables companies and localization suppliers to quickly add scalable validation checks to help ensure quality doesn't suffer as software and content is localized and data is exchanged between internal workflows and even between companies. The analysis engine is already in use by multiple teams at Microsoft, including Windows (WDG), Office (ASG), and Azure+SQL+VS (C&E).This project also includes a complete sample that the Microsoft Office team is using to validate that sufficient resource context has been added by the developers in Word, Excel, OneNote, etc.. Validating the context ensures that those resources can be efficiently localized appropriately.

DataDebug - Excel 2010/2013 add-in that automatically finds errors in spreadsheets


Testing and static analysis can help root out bugs in programs, but not in data. We introduce data debugging, an approach that combines program analysis and statistical analysis to automatically find potential data errors. Since it is impossible to know a priori whether data are erroneous, data debugging instead locates data that has a disproportionate impact on the computation. Such data is either very important or wrong. Data debugging is especially useful in the context of data-intensive prog

status - status of various projects hosted on GitHub


Personal----These are released, but are geared towards personal use; as such, they may be buggy or be of very limited use.* [exceptionpp](https://github.com/cripplet/exceptionpp) -- personal C++ exception library* [django_iin_lookup](https://github.com/cripplet/django_iin_lookup) -- look up credit card brand and stuff, given the first six digits of a credit cardIn Progress----Very buggy, currently in active development.* [spp](https://github.com/cripplet/spp) -- C++ scheduling engine* [courses](

mypy - New Python Variant


The mypy programming language is an experimental Python variant that aims to combine the benefits of dynamic (or "duck") typing and static typing. The goal is to have the expressive power and convenience of Python, and also compile-time type checking and efficient compilation to native code, without the need of a heavy-weight VM. Mypy will get rid of the Global Interpreter Lock (GIL) that is used in CPython and allow parallel programs to take advantage of multicore processors.

Pydusa- Parallel Programming in Python


Pydusa is a package for parallel programming using Python. It contains a module for doing MPI programming in Python. We have added parallel solver packages such as Parallel SuperLU for solving sparse linear systems.

Concurrent Programming Library


Concurrent Programming Library provides an opportunity to develop a parallel programs using .net framework 2.0 and above. It includes an implementation of various parallel algorithms, thread-safe collections and patterns.

flowgraph - Ready-send coordination layer on top of goroutines.


Go (Golang) offers direct support for concurrent programming with goroutines, channels, and the select statement. Used together they offer all the building blocks necessary for programming across many cores and many Unix boxes. But so much is possible with goroutines that constructing scaleable and reliable systems (that won't deadlock or be throttled by bottlenecks) requires the application or invention of additional concepts.Flowgraphs are a distinct model of concurrent programming that augment channels with ready-send handshake mechanisms to ensure that no data is sent before the receiver is ready. MPI (a framework for supercomputer computation) directly supports flowgraph computation, but doesn't address flow-based computation within a single Unix process. Go with its goroutines (more efficient than threads according to Rob Pike) facilitates taking the MPI model down to whatever granularity the concurrent programmer wants.

Codelyzer - Static analysis for Angular projects.


A set of tslint rules for static code analysis of Angular TypeScript projects.You can run the static code analyzer over web apps, NativeScript, Ionic, etc.

FindBugs - Static Analysis Tool for Java


FindBugs uses static analysis to look for bugs in Java code. it can analyze programs compiled for any version of Java. Eclipse and Maven plugins are available. FindBugs has been downloaded more than 700,000 times.

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.

ESCJava2


The Extended Static Checker for Java version 2 (ESC/Java2) is a programming tool that attempts to find common run-time errors in JML-annotated Java programs by static analysis of the program code and its formal annotations.

module-ecosystem-code-analysis


WIP: static analysis of dynamic language modules to understand the social aspects of programming communities