Weggli_rules_SSTIC2023

ここに厳選されたweggliクエリのリストがあります これらは1つずつ読んで使用することも、バッチで起動することもできます： 使用方法： $ bash dangerousfunctions.qry code.c $ bash mallocoverflow.qry -e cc sourcedir/ カテゴリは3つあります： 1. 危険な関数：strcpy、systemなど.. 2. スタック：スタック上などのコピーを検出しようとします.. 3. malloc：malloc関数のオーバーフローを見つけます これらは自己文書化されているので、読むことができます。...