2024
a Haskell audit security tool 🛡️ that...
Finds security vulnerabilities ✅
Flags potential segmentation faults ✅
Identifies unsafe thread practices ✅
Categories:
We felt that the Bank of America - Financial Hack category presented us with the opprotunity to tackle an ever present and relevant issue in software, that issue being security.
Many popular languages (i.e. JavaScript, Rust, Go, etc...) have audit tools to perform security checks, Haskell does not. Our goal for HenHacks 2024 was to create a continuous integration security audit tool that gives Haskell developers the ability to analize the integrity of their programs! 😄
Our tool offers developers the ability to check their third party package vulnerabilities, their program's thread safety and their program's memory/buffer overflow. ✨
- CLI tool (lambda-check)
- Up to date CVE's
- Error line numbers
- Checks all .cabal & .hs files
- File by file output
- Colored output
Features 🍩:
- Haskell
- Python
- FastAPI
- SQLite
- Rest API
Technology used 🤓:
How to use:
Screenshots 📸:
