[SMTChecker] Support some inline assembly
Open
smt
- Dominant language
- C++
- Stars
- 25.7k
- Forks
- 6.2k
- Avg merge
- 1d 11h
- Merged PRs (30d)
- 21
Description
Currently the SMTChecker completely ignores inline assembly.
We could support the simple parts of it.
Contributor guide
Research direction
No file, test, or entry point is named. Start by locating the SMTChecker handling for inline assembly and determine which “simple parts” are in scope; done requires defined assembly support in SMTChecker with coverage for the supported cases.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- cpp, solidity
- Domain
- compilers
- Issue type
- Feature
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 25/100