{"id":26219683,"url":"https://github.com/giorgiosld/driver-verifier","last_synced_at":"2026-04-20T23:31:37.774Z","repository":{"id":281487495,"uuid":"945426233","full_name":"giorgiosld/driver-verifier","owner":"giorgiosld","description":"A Rust-based Linux kernel driver for diagnosing and verifying hardware driver functionality, with a focus on input devices like touchpads. Built for Parrot OS 6.3+.","archived":false,"fork":false,"pushed_at":"2025-03-12T11:36:14.000Z","size":31,"stargazers_count":1,"open_issues_count":0,"forks_count":0,"subscribers_count":1,"default_branch":"main","last_synced_at":"2025-12-28T13:32:16.960Z","etag":null,"topics":["device-driver","kernel-driver","kernel-module","linux-kernel","linux-rust","no-std","rust","rust-linux"],"latest_commit_sha":null,"homepage":"","language":"Rust","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"gpl-3.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/giorgiosld.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null,"notice":null,"maintainers":null,"copyright":null,"agents":null,"dco":null,"cla":null}},"created_at":"2025-03-09T11:53:25.000Z","updated_at":"2025-03-12T15:26:47.000Z","dependencies_parsed_at":null,"dependency_job_id":"99319be8-2cf4-41e3-8f40-726b5d4282be","html_url":"https://github.com/giorgiosld/driver-verifier","commit_stats":null,"previous_names":["giorgiosld/driver-verifier"],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/giorgiosld/driver-verifier","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/giorgiosld%2Fdriver-verifier","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/giorgiosld%2Fdriver-verifier/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/giorgiosld%2Fdriver-verifier/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/giorgiosld%2Fdriver-verifier/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/giorgiosld","download_url":"https://codeload.github.com/giorgiosld/driver-verifier/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/giorgiosld%2Fdriver-verifier/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":32070588,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-04-20T21:26:33.338Z","status":"ssl_error","status_checked_at":"2026-04-20T21:26:22.081Z","response_time":94,"last_error":"SSL_connect returned=1 errno=0 peeraddr=140.82.121.6:443 state=error: unexpected eof while reading","robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":false,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["device-driver","kernel-driver","kernel-module","linux-kernel","linux-rust","no-std","rust","rust-linux"],"created_at":"2025-03-12T14:18:55.729Z","updated_at":"2026-04-20T23:31:37.769Z","avatar_url":"https://github.com/giorgiosld.png","language":"Rust","readme":"# Rust Kernel Driver Verifier\nA Rust-based Linux kernel driver for diagnosing and verifying hardware driver functionality, with a focus on input devices like touchpads. This project aims to provide low-level debugging capabilities for troubleshooting driver issues in Linux systems.\n\n## Overview\n\nThe Driver Verifier is designed to detect and diagnose driver-related issues on Linux systems, particularly for input devices like touchpads on laptops. It runs as a kernel module, interfacing directly with hardware to verify proper functionality of device drivers.\n\n### Key Features\n\n- **Device Discovery**: Automatically enumerates and identifies input devices through sysfs\n- **Touchpad Verification**: Checks if touchpad drivers are loaded and functioning correctly\n- **Input Event Monitoring**: Verifies if the device can generate proper input events\n- **Hybrid C/Rust Architecture**: Combines the safety of Rust with C's kernel integration capabilities\n- **Diagnostic Outputs**: Provides detailed kernel log information for debugging\n\n### Target Hardware\n\nSpecifically optimized for:\n- Acer Nitro 5 laptops (with ELAN/Synaptics touchpads)\n- Parrot OS 6.3 (Linux kernel 6.11+\n\n## Project Structure\n\n- `src/` - Rust source code\n  - `lib.rs` - Main Rust entry point with FFI exports\n  - `input_verifier.rs` - Core verification logic for input devices\n- `driver_verifier_core.c` - C wrapper for kernel module integration\n- `Kbuild` - Kernel build configuration\n- `Makefile` - Build orchestration\n\n## Technical Details\n\nThe module operates by:\n\n1. Enumerating input devices from `/sys/class/input/`\n2. Identifying touchpad devices using multiple detection methods:\n   - Device name matching (ELAN, Synaptics, etc.)\n   - Capability-based detection (multi-touch support)\n   - Vendor-specific identifiers\n3. Verifying driver functionality:\n   - Checking required kernel modules are loaded\n   - Testing device node responsiveness\n   - Monitoring input event generation)\n\n## Known Limitations\n\n- The module requires specific kernel headers to compile\n- Capability detection requires appropriate permissions\n- Some hardware-specific optimizations may not work on all devices\n- The module does not modify or fix driver issues, it only reports them\n\n## License\n\nThis project is licensed under the GNU General Public License v3.0 - see the [LICENSE](LICENSE) file for details.\n\n## Author\n\n- Giorgio Saldana ([@giorgiosld](https://github.com/giorgiosld))\n","funding_links":[],"categories":[],"sub_categories":[],"project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fgiorgiosld%2Fdriver-verifier","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fgiorgiosld%2Fdriver-verifier","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fgiorgiosld%2Fdriver-verifier/lists"}