ConcoLLMic

ConcoLLMic: エージェントによるコンコリック実行 論文 : IEEE S&P 2026 ConcoLLMicは、LLMエージェントを活用した、言語・理論に依存しない初のコンコリック実行ツールです。従来の、言語固有の実装を必要とし制約解決に苦労するシンボリック実行ツールとは異なり、ConcoLLMicは： あらゆるプログラミング言語および環境との相互作用に対応 — C、C++、Python、Java、...、さらにはマルチ言語システムをサポート。追加の環境モデリングは不要で、効率的に処理します。 多様な制約理論を処理 —...