x86: Implement symbolic LSL

Repository metrics

Stars

3,469 stars (3,469 stars)

PR merge metrics

30d に merged PR はありません (30d に merged PR はありません)

説明

この Issue には説明がありません。

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

調査方針

ManticoreのCPUモデル（例：manticore/x86/instructions.py）内の既存のx86命令実装を研究し、そのパターンに従ってLSLのシンボリックセマンティクスを実装してください。LSLの動作についてはIntelのマニュアルを参照してください。

技術スタック

python

領域

backend

Issue 種別

機能

難度新しい貢献者にとっての実装難度です。1 は非常に小さな変更、5 は専門的な作業です。

3

推定時間経験ある貢献者が調査、実装、テスト、pull request 準備にかけるおおよその時間範囲です。

半日

活動状況Issue が今どれだけ取り組みやすいかを示します。新しい、活発、古い、ブロック中、またはメンテナー入力待ちなどです。

アクティブ

明確さ期待される変更、受け入れ条件、次の手順がどれだけ明確かを示します。

おおむね明確

前提条件

Python

初心者向け度初回貢献者にどれだけ取り組みやすいかを 1-100 で推定したスコアです。

65