วันเสาร์, ตุลาคม 13, 2550

เริ่มต้นกับ WALA เครื่องมือสำหรับการวิเคราะห์โปรแกรม (getting started with WALA)

สรุปขั้นตอนต่างๆ สำหรับการเริ่มต้นใช้เครื่องมือ WALA
  1. download Eclipse (the big one, version with RCP/plugin developer), as suggested by the WalaWiki the version for Java dev seems not sufficient.
  2. install EMF from eclipse software update. Europa update -> Model and Modeling Environment -> EMF runtime & End user.
  3. install Subclipse.
  4. edit ...wala.core/dat/wala.properties
    1. java_runtime_dir = c:/program files/Java/jre-1.6.0_03/lib
    2. output_dir = w:/WALA/WALA_output
  5. install graphviz (examples in wala.core.tests use dot.exe provided by graphviz)
  6. edit ...wala.core.tests/dat/wala.examples.properties
    1. provide absolute path for gsview32.exe
    2. and dot.exe
  7. run examples from launcher in Eclipse. Edit arguments, for examples, -appJar c:/lib/foo.jar or -sig method_a()V

ไม่มีความคิดเห็น: