UEI Corporation is a user on mstdn.uei.co.jp. You can follow them or interact with them if you have an account anywhere in the fediverse. If you don't, you can sign up here.
UEI Corporation @info

SPARK: Static Program Analysis Reasoning and Retrieving Knowledge
SPARK:静的プログラム分析知識の推論と取り込み
arxiv.org/abs/1711.01024

要約:プログラム分析とは、プログラムを実行せずに推論する技術であり、コンパイラ、統合開発環境、およびセキュリティにさまざまなアプリケーションを備えています。この作業では、プログラムのセキュリティアナライザを例として機械学習パイプラインを紹介します。セキュリティアナライザは、マシン学習パイプラインによって推論されたシンボリックルールに基づいて、プログラムが安全か不安かを判断します。マシンパイプラインは、リカレントニューラルネットワーク(RNN)とRNNをシンボリックルールに変換するエクストラクタからなる2ステージです。 To e...