https://github.com/iagoabal/eba
EBA is a static bug finder for C.
https://github.com/iagoabal/eba
c static-analysis static-analyzer static-code-analysis
Last synced: 7 months ago
JSON representation
EBA is a static bug finder for C.
- Host: GitHub
- URL: https://github.com/iagoabal/eba
- Owner: IagoAbal
- License: bsd-3-clause
- Created: 2016-11-22T15:03:44.000Z (almost 9 years ago)
- Default Branch: master
- Last Pushed: 2020-06-22T12:35:49.000Z (over 5 years ago)
- Last Synced: 2025-03-24T19:39:32.559Z (7 months ago)
- Topics: c, static-analysis, static-analyzer, static-code-analysis
- Language: OCaml
- Homepage: https://www.iagoabal.eu/eba
- Size: 1.38 MB
- Stars: 14
- Watchers: 3
- Forks: 3
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- Changelog: CHANGES.md
- License: LICENSE
Awesome Lists containing this project
README
# EBA: An effective bug finder for C
EBA is a prototype bug finder for C based on side-effect analysis and model-checking.
For now, you can use it to find double-lock bugs in the Linux kernel, e.g.:
git clone --depth=1 https://github.com/torvalds/linux.git
cd linux
make allyesconfig
scripts/eba-linux.sh drivers/net
The script will find all C source files under `drivers/`, call CPP on them, and call EBA to find potential double-locks. Be patient, this may take several hours.
If EBA finds some potential bug in `path/to/file.c`, it will write the bug traces in `_eba/path/to/file.warn`:
find _eba/ -iname '*.warn'
### Hows does it work?
It combines side-effect analysis and model-checking, check the website for more info: [http://www.iagoabal.eu/eba/](http://www.iagoabal.eu/eba/)
### Does it really find bugs?
Yes, it really does, check the website for more info: [http://www.iagoabal.eu/eba/](http://www.iagoabal.eu/eba/)
## Installation
See the [Installation instructions](INSTALL.md).
## Running the tests
If you want to run the tests you will need to install _cram_, for instance using _pip_:
sudo apt-get install python-pip
sudo pip install cram
You should place _eba_ somewhere in your _$PATH_:
cram test/*.t