sqaunderhood
Funding Links: https://github.com/sponsors/sqaunderhood
- Name: Протестировал
- Kind: organization
- Followers: 1
- Following: 0
- Total stars: 2
- Repositories count: 5
- Created at: 2023-02-23T13:11:11.618Z
- Updated at: 2024-05-01T09:32:00.833Z
- Last synced at: 2024-05-01T09:31:59.254Z
GitHub Sponsors Profile
Hi, there
I’m a software engineer. I am passionate about software testing techniques and model checking. I'm building
luzer - a coverage-guided, native Lua fuzzer.
lua-c-api-tests - a set of fuzzing tests for C implementations of Lua runtime (PUC Rio Lua and LuaJIT). These tests already found about 15 bugs in Lua, LuaJIT and Tarantool (based on LuaJIT). These tests integrated with OSS Fuzz and ClusterFuzz and provide continuous testing of PUC Rio Lua and LuaJIT.
elle-cli - command-line frontend to transactional consistency checkers for black-box databases
unreliablefs - a FUSE-based fault injection filesystem.
molly - a framework for distributed system's verification, with fault injection.
semgrep-rules - semgrep rules for flakiness, missed error handling, Lua antipatterns and pitfalls.
- Current Sponsors: 0
- Past Sponsors: 0
- Total Sponsors: 0
- Minimum Sponsorship: $5.00