Manticore fails to capture Executor failure in status code · trailofbits/manticore#770

(2 comments) (0 reactions) (0 assignees)Python (3,469 stars) (481 forks)batch import

good first issuehelp wanted

説明

@mossberg

I find it mildly unsatisfying that if Manticore crashes while in the executor loop, the process will still return 0 (meaning subprocess.check_output or check_call will not catch it). But that's an issue for a later time.

コントリビューターガイド

技術スタック: python
領域: backendsecurity
Issue 種別: bug
難度: 3
推定時間: half day
活動状況: stale
明確さ: mostly clear
前提条件: PythonManticore's executor loop
初心者向け度: 30
調査方針: Investigate the executor loop in Manticore, likely in the main execution file (e.g., manticore/core/executor.py). Determine where the process exit code is set and ensure that exceptions during the executor loop result in a non zero exit code. Look at the main entry point and how it catches exceptions. There is no linked PR or assignee, so this is open for research. The issue was reported in 2018, so check the current codebase for changes.