首页
›
加密金融术语
›
symbolic execution
symbolic execution
🔥 加密金融
📖 n.
🔊 /sɪmˈbɑlɪk ˌɛksɪˈkjuːʃən/
中文释义
符号执行(合约形式验证)
例句
Symbolic execution tools like Manticore explore all possible execution paths to find hidden vulnerabilities.
By treating inputs as symbolic variables rather than concrete values, symbolic execution can prove or disprove safety properties.
加密金融术语中的其他单词
KYC
payment finality
Aave
realized PnL
allowlist
protocol treasury
proof of publication
execution layer
verkle tree
stableswap
taproot
Ethereum Foundation
想高效记住
symbolic execution
和更多单词?
立即使用 HiWord.AI
间隔重复算法 · AI 生成故事 · 12 种练习题型 · 免费无广告
🌱 KET 入门词汇
📚 PET 考试词汇
💬 日常口语
🎓 雅思学术词汇
🔥 加密金融术语