Orange4

Orange4 is a tool to test C compilers by randomly generated programs.

It is based on equivalent transformations on C programs and can generate wider class of C test programs than Orange3.

Bugs detected by Orange4

LLVM/Clang-3.9


Bibliography

  • 中村和博, 石浦菜岐佐: "等価変換に基づくテストプログラム生成を用いたCコンパイラのランダムテスト," 電子情報通信学会技術研究報告, VLD2015-112, (Feb. 2016). [pdf]
  • 由良駿, 中橋昌俊, 石浦菜岐佐: "算術式の解析木の導出に基づくCコンパイラのランダムテスト," 電子情報通信学会総合大会, AS-1-4, (Mar. 2015). [pdf]

Email

mailto

Copyright © 2015 関西学院大学 理工学部 石浦研究室,
Ishiura-Lab, School of Science and Technology, Kwansei Gakuin University, All Rights Reserved.