tanishiking

シンボリック実行入門メモ

参考文献

• Symbolic execution - Wikipedia
• King, James C. "Symbolic execution and program testing." 1976 (pdf)
• DART: Directed Automated Random Testing
• CUTE: A Concolic Unit Testing Engine for C
• Jeff Foster, "Symbolic Execution," 2011 (pdf)
• シンボリック実行に入門しようとした - 一生あとで読んでろ
• テスト入力値の自動生成と、concolic testing - ソフトウェアの品質を学びまくる

astellon

function plot(to_file = "graph.png")
  dot_graph =
  """
  digraph graph_name {
   hoge -> foo
  }
  """

  mktempdir() do tmp_dir
    dot_file_path = joinpath(tmp_dir, "tmp_graph.dot")

genkuroki

mlechu

using JuliaSyntax
using JuliaLowering
const JS = JuliaSyntax
const JL = JuliaLowering

jsparse(s) = JS.build_tree(JL.SyntaxTree, JS.parse!(JS.ParseStream(s); rule=:statement))

function jlower(mod, st0)
    ctx1, st1 = JL.expand_forms_1(  mod,  st0)
    ctx2, st2 = JL.expand_forms_2(  ctx1, st1)