0
符號執行的最佳技術是什麼？ 您是否願意幫我找到純粹的符號執行和純粹的concolic測試工具（我的意思是，例如它不包括模型檢查等）及其源代碼？現代符號執行技術
Q
現代符號執行技術
A
回答
1
Concolic測試工具：
- CREST爲C [開源]
- CATG用於JAVA
- Jalangi爲JavaScript由於開源
- PEX微軟爲.NET framework [動力工具Visual Studio]
- CutEr for Erlang函數式編程[開源]
對於符號執行，有幾個工具被列入下面的鏈接（有些工具是常見的，因爲他們有兩個選項）：
相關問題
- 1. 現代ASP.NET表單佈局技術
- 2. 3d城市網站。現代技術
- 3. iOS上的懶惰執行技術
- 4. LEA是否執行有符號或無符號算術？
- 5. 的Greasemonkey - 等待頁面被執行代碼技術
- 6. 實現類推技術
- 7. IVR技術實現細節
- 8. 「document.execCommand」的替代技術
- 9. oAW代碼生成技術
- 10. 叮噹聲源代碼轉換（現代技術）
- 11. 立即執行：出現符號
- 12. 如何運行非技術性啓動的技術部門？
- 13. 顯示特定行技術
- 14. 使用UI技術的網絡技術
- 15. 玉的緩衝技術（驚歎號）
- 16. 超聲iphone（Shopkick信號技術）
- 17. 在Javascript中，是否有一種技術可以在返回後執行代碼？
- 18. 未定義符號的一般故障排除技術 - gcc
- 19. Java Socket技術方案和符號不能找到DataInputStream類類
- 20. 向UIView添加漸變的現代技術
- 21. 用現代C++技術替換C++宏的連接
- 22. 現代客戶端/服務器身份驗證技術
- 23. 建議的重新實現技術stackoverflow.com
- 24. 如何實現反應本地技術
- 25. IOS Notification實現設計技術
- 26. FSM狀態的實現技術
- 27. 推送服務器實現技術？
- 28. PCA面部識別，實現技術
- 29. 在Android中實現iBeacon技術
- 30. Spring如何實現該技術？今天