https://github.com/evdenis/cvehound
Check linux sources dump for known CVEs.
https://github.com/evdenis/cvehound
coccinelle cve cve-scanning kernel linux
Last synced: 2 months ago
JSON representation
Check linux sources dump for known CVEs.
- Host: GitHub
- URL: https://github.com/evdenis/cvehound
- Owner: evdenis
- License: gpl-3.0
- Created: 2020-12-23T19:20:11.000Z (over 5 years ago)
- Default Branch: master
- Last Pushed: 2025-12-16T03:37:39.000Z (4 months ago)
- Last Synced: 2026-01-07T18:04:19.922Z (3 months ago)
- Topics: coccinelle, cve, cve-scanning, kernel, linux
- Language: SmPL
- Homepage:
- Size: 13.2 MB
- Stars: 133
- Watchers: 6
- Forks: 16
- Open Issues: 9
-
Metadata Files:
- Readme: README.md
- Changelog: ChangeLog
- Funding: .github/FUNDING.yml
- License: LICENSE
Awesome Lists containing this project
README
[](https://github.com/evdenis/cvehound/actions?query=workflow%3Atest)
[](https://pypi.org/project/cvehound)
[](https://pypi.org/project/cvehound)
# CVEhound
CVEhound is a tool for checking Linux sources for known CVEs.
The tool is based on [coccinelle](https://coccinelle.gitlabpages.inria.fr/website/)
rules and grep patterns. The tool checks sources for vulnerable
code patterns of known CVEs and missing fixes for them.
- **What:** The tool tries to find "unfixed" code of known CVEs;
- **How:** The tool uses [coccinelle/grep](cvehound/cve) rules with patterns that helps to detect known CVE bugs or their fixes. Thus, sources are checked either for a presence of "unfixed" code pieces (e.g. [CVE-2020-12912](cvehound/cve/CVE-2020-12912.cocci)), or for an absence of a fix (e.g. [CVE-2020-26088](cvehound/cve/CVE-2020-26088.cocci));
- **Why:** If you have a git log then it's easier to check what CVEs are fixed based on a git history. However, many vendors (samsung, huawei, various iot, routers manufacturers) publish kernel sources as archives without a development log. In most cases their kernels are based on LTS kernels, but versions are far from upstream. Linux version string from Makefile will only give you information about what CVEs were fixed by kernel developers up to this version. It will not help you to understand what fixes were backported by a vendor itself. In this case it's possible to apply the tool and check "missing" CVE fixes.
### CVEHound: Audit Kernel Sources for Missing CVE Fixes
[Linux Security Summit 2021 Presentation (EN)](docs/LSS2021_CVEhound_en.pdf)
[ZeroNights 2021 Presentation (RU)](docs/ZN2021_CVEhound_ru.pdf)
### Found issues in stable trees
- CVE-2020-27825 fix [missing backports](https://lkml.org/lkml/2021/1/21/1278) for [5.4, 4.19, 4.14, 4.9, 4.4 kernels](https://www.spinics.net/lists/stable/msg440412.html)
- CVE-2021-4149 fix [missing backports](https://lore.kernel.org/stable/d1a3f31f-2205-6dce-0f33-6611972e48cd@gmx.com/T/#t) to [4.19, 4.14, 4.9 kernels](https://lore.kernel.org/stable/20220309064748.160978-1-denis.e.efremov@oracle.com/)
- CVE-2022-26490 fix [missing backports](https://lore.kernel.org/all/20220321174006.47972-1-denis.e.efremov@oracle.com/)
- CVE-2023-1989 fix missing backports for [6.1, 5.15, 5.10, 5.4, 4.19, 4.14 kernels](https://lore.kernel.org/stable/20230902102200.24474-1-efremov@linux.com/)
- Similar to CVE-2021-28660 [fix in r8188eu driver](https://lore.kernel.org/all/20220518070052.108287-1-denis.e.efremov@oracle.com/#r)
- Similar to CVE-2021-28660 [fix in rtl8723bs driver](https://lore.kernel.org/all/20220520035730.5533-1-efremov@linux.com/)
- Similar to CVE-2022-26490 [fix](https://lore.kernel.org/all/20221122004246.4186422-4-mfaltesek@google.com/) in [st-nci driver](https://lore.kernel.org/all/fc85ff14-70d6-0c3e-247d-eda2284a5f6b@oracle.com/)
- Security [regression CVE-2020-10781](https://lkml.org/lkml/2023/4/17/744)
- See [tests exceptions](https://github.com/evdenis/cvehound/blob/master/tests/test_01_on_branch.py#L7) for more examples
## Prerequisites
- Python 3 (>=3.11)
- pip (Python package manager)
- grep with pcre support (-P flag)
- coccinelle (>= 1.0.7)
Install prerequisites:
``` shell
# Ubuntu, coccinelle uses libpython2.7 internally
# Seems like some ppas mark libpython dependency as optional
$ sudo add-apt-repository ppa:npalix/coccinelle
$ sudo apt install python3-pip coccinelle libpython2.7
# Fedora
$ sudo dnf install python3-pip coccinelle
# macOS
$ brew install coccinelle
```
## Installation
To install the latest stable version just run the following command:
``` shell
$ python3 -m pip install --user cvehound
```
For development purposes you may install cvehound in "editable" mode
directly from the repository (clone it on your computer beforehand):
``` shell
$ pip install -e .
```
To update the cve rules from github repository:
``` shell
$ cvehound_update_rules
```
## How to use
The simplest way to start using CVEhound is to run the following command:
``` shell
$ cvehound --kernel ~/linux
Found: CVE-2020-27830
Found: CVE-2020-27152
Found: CVE-2020-29371
Found: CVE-2020-26088
```
where *dir* should point to the Linux kernel sources. CVEhound will check the
sources for all cve patterns that you can find in [cve dir](/cvehound/cve/).
To check the sources for particular CVEs one can use:
``` shell
$ cvehound --kernel ./linux --kernel-config --cve CVE-2020-27194 CVE-2020-29371
Checking: CVE-2020-27194
Found: CVE-2020-27194
MSG: bpf: Fix scalar32_min_max_or bounds tracking
CWE: Improper Restriction of Operations within the Bounds of a Memory Buffer
FIX DATE: 2020-10-08 09:02:53
https://www.linuxkernelcves.com/cves/CVE-2020-27194
Affected Files:
- linux/kernel/bpf/verifier.c: CONFIG_BPF & CONFIG_BPF_SYSCALL
linux/.config: affected
Config: ./linux/.config affected
Checking: CVE-2020-29371
Found: CVE-2020-29371
MSG: romfs: fix uninitialized memory leak in romfs_dev_read()
CWE: Use of Uninitialized Resource
FIX DATE: 2020-08-21 16:52:53
https://www.linuxkernelcves.com/cves/CVE-2020-29371
Affected Files:
- linux/fs/romfs/storage.c: CONFIG_ROMFS_FS
linux/.config: not affected
Config: ./linux/.config not affected
```
Other args:
- `--report` - will produce json file with found CVEs
Most of the metainformation in the generated report is taken from linuxkernelcves.com
- `--kernel-config` or `--kernel-config ` - will infer the kernel configuration required to
build the affected code (based on Kbuild/Makefiles, ifdefs are not checked) and
check kernel .config file if there is one
- `--files`, `--cwe` - will limit the scope of checked cves to the kernel files of
interest or specific CWE classes
- `--exploit` - check only for CVEs that are known to be exploitable (according to
the FSTEC BDU database)
## Contributing
### Development Setup
``` shell
# Clone and install in editable mode
$ git clone https://github.com/evdenis/cvehound.git
$ cd cvehound
$ pip install -e '.[tests]'
# Install pre-commit hooks
$ pip install pre-commit
$ pre-commit install
# Run linting and type checking
$ pre-commit run --all-files
```
The project uses:
- **ruff** for linting and formatting
- **mypy** for static type checking (strict mode)
- **pre-commit** for automated code quality checks
### Writing CVE Detection Rules
If you'd like to contribute new CVE detection rules, please see our comprehensive guides:
- **[Writing Coccinelle Detection Rules for CVE Patterns](docs/WRITING_RULES.md)** - Complete guide with step-by-step instructions, patterns, and examples
- **[Coccinelle CVE Detection Cheat Sheet](docs/COCCINELLE_CHEATSHEET.md)** - Quick reference for common patterns
- **[AI Agent Guide](docs/AI_AGENT_GUIDE.md)** - Systematic approach for AI agents writing CVE rules
Templates:
- `contrib/template.cocci` - Enhanced template with examples and comments
- `contrib/blank.cocci` - Minimal template for new rules
## License
Python code is licensed under GPLv3. All rules in cvehound/cve folder are licensed under GPLv2.
## Acknowledgements
I would like to thank the following projects and people behind them:
- [coccinelle](https://coccinelle.gitlabpages.inria.fr/website/) for the program matching engine
- [linuxkernelcves.com](https://linuxkernelcves.com/) for information about Linux CVEs
- [undertaker](https://vamos.informatik.uni-erlangen.de/trac/undertaker) for mapping kernel configs to .c files
- [sympy](https://www.sympy.org/) for the symbolic logic solver