-
Notifications
You must be signed in to change notification settings - Fork 26
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
- Status: Open.#632 In GaloisInc/macaw;
bug(base): Jump table bounds don't survive across calls
discoveryIssues related to the code discovery logicIssues related to the code discovery logicStatus: Open.#630 In GaloisInc/macaw;- Status: Open.#629 In GaloisInc/macaw;
- Status: Open.#615 In GaloisInc/macaw;
perf(symbolic): Encode the registers as a global variable
performanceIssues related to runtime or simulation-time performanceIssues related to runtime or simulation-time performancesymbolic-executionIssues relating to macaw-symbolic and symbolic executionIssues relating to macaw-symbolic and symbolic executionStatus: Open.#611 In GaloisInc/macaw;perf(symbolic): Reconsider
getRegValueAPIperformanceIssues related to runtime or simulation-time performanceIssues related to runtime or simulation-time performanceStatus: Open.#609 In GaloisInc/macaw;- Status: Open.#598 In GaloisInc/macaw;
Memory model: revisit assumptions about solver performance
performanceIssues related to runtime or simulation-time performanceIssues related to runtime or simulation-time performanceStatus: Open.#591 In GaloisInc/macaw;Memory model: cache writes
performanceIssues related to runtime or simulation-time performanceIssues related to runtime or simulation-time performanceStatus: Open.#590 In GaloisInc/macaw;Memory model: Avoid solver resets
performanceIssues related to runtime or simulation-time performanceIssues related to runtime or simulation-time performanceStatus: Open.#589 In GaloisInc/macaw;- Status: Open.#588 In GaloisInc/macaw;
x86 discovery failure on static musl
-O0binaryarch:x86x86 issuesx86 issuesdiscoveryIssues related to the code discovery logicIssues related to the code discovery logicStatus: Open.#587 In GaloisInc/macaw;