Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/eth-sri/EventRacer
A race detection tool for event driven applications.
https://github.com/eth-sri/EventRacer
Last synced: 4 months ago
JSON representation
A race detection tool for event driven applications.
- Host: GitHub
- URL: https://github.com/eth-sri/EventRacer
- Owner: eth-sri
- License: apache-2.0
- Created: 2013-09-02T16:55:49.000Z (over 11 years ago)
- Default Branch: master
- Last Pushed: 2015-09-21T15:01:12.000Z (over 9 years ago)
- Last Synced: 2024-08-02T12:21:54.814Z (7 months ago)
- Language: C++
- Homepage: http://eventracer.org/
- Size: 409 KB
- Stars: 17
- Watchers: 6
- Forks: 8
- Open Issues: 3
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
EventRacer
==========
A race detection tool for event driven applications.
How to compile (on Linux)
-------------------------
Install prerequisites
* Google Sparse Hash (http://code.google.com/p/sparsehash/downloads/list)
* ```sudo apt-get install libsparsehash-dev```
* Google Flags 2.0 (http://gflags.github.io/gflags/)
* ```sudo apt-get install libgflags-dev```
* or, build this from source, cloning [email protected]:gflags/gflags.git
* CMake 2.8 (http://www.cmake.org/)
* ```sudo apt-get install cmake```
* GraphViz is needed to display happens-before graphs.
* ```sudo apt-get install graphviz```
Compiling:
* Run: ```./build.sh```
Running
-------
Checking a website for races
* Obtain a ER_actionlog file by exploring a website with an instrumented browser (see https://github.com/eth-srl/webkit)
* You can use the binary distribution from http://eventracer.org/ and use only the browser from it.
* Run the race analyzer
* bin/eventracer/webapp/raceanalyzer [the ER_actionlog file]
* The above command starts a web server on port 8000 (can be changed with a --port parameter to the above command)
* Open http://localhost:8000/ to see the races
Read our paper "Effective Race Detection for Event-Driven Programs" to understand the meaning of
uncovered races and the race filters. Enjoy the tool and develop web applications that provide
a great user experience.
Credits
-------
The EventRacer code includes the mongoose web server (BSD license) and stringprintf and mutex utilities from Google (Apache license).