fix(klee): name symbolic objects by their type, not by unexpanded macro text - #63
Open
GuilhermeBn198 wants to merge 1 commit into
Open
fix(klee): name symbolic objects by their type, not by unexpanded macro text#63GuilhermeBn198 wants to merge 1 commit into
GuilhermeBn198 wants to merge 1 commit into
GitGuardian / GitGuardian Security Checks
succeeded
Aug 22, 2026 in 0s
No secrets detected ✅
1 commit was scanned without uncovering any secrets.
Details
Commit scanned: 1
- Pull request #63:
fix/klee-symbolic-object-names👉develop
🦉 GitGuardian detects secrets in your source code to help developers and security teams secure the modern development process. You are seeing this because you or someone else with access to this repository has authorized GitGuardian to scan your pull request.
Loading