├── .gitignore ├── README.md ├── create-eclipse-project.cmd ├── create-eclipse-project.sh ├── data ├── mars_analytica_stack_machine_trace.log ├── solve.py └── symbolic_exec_stack_machine.py ├── out └── CEmulatorPlugin-1.0.0.jar ├── scripts ├── build.xml └── generateEclipseProjectFilesForPlugin.py └── src └── com └── pnf └── plugin └── cemulator ├── CEmulatorPlugin.java ├── CFG.java ├── EmulatorException.java ├── EmulatorLog.java ├── EmulatorState.java ├── HeadlessClient.java ├── MarsAnalyticaCEmulator.java └── SimpleCEmulator.java /.gitignore: -------------------------------------------------------------------------------- 1 | .project 2 | .classpath 3 | bin/ -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pnfsoftware/jeb-c-emulator-plugin/HEAD/README.md -------------------------------------------------------------------------------- /create-eclipse-project.cmd: -------------------------------------------------------------------------------- 1 | @echo off 2 | python scripts\generateEclipseProjectFilesForPlugin.py %1 3 | -------------------------------------------------------------------------------- /create-eclipse-project.sh: -------------------------------------------------------------------------------- 1 | #!/bin/sh 2 | python scripts/generateEclipseProjectFilesForPlugin.py $1 -------------------------------------------------------------------------------- /data/mars_analytica_stack_machine_trace.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pnfsoftware/jeb-c-emulator-plugin/HEAD/data/mars_analytica_stack_machine_trace.log -------------------------------------------------------------------------------- /data/solve.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pnfsoftware/jeb-c-emulator-plugin/HEAD/data/solve.py -------------------------------------------------------------------------------- /data/symbolic_exec_stack_machine.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pnfsoftware/jeb-c-emulator-plugin/HEAD/data/symbolic_exec_stack_machine.py -------------------------------------------------------------------------------- /out/CEmulatorPlugin-1.0.0.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pnfsoftware/jeb-c-emulator-plugin/HEAD/out/CEmulatorPlugin-1.0.0.jar -------------------------------------------------------------------------------- /scripts/build.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pnfsoftware/jeb-c-emulator-plugin/HEAD/scripts/build.xml -------------------------------------------------------------------------------- /scripts/generateEclipseProjectFilesForPlugin.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pnfsoftware/jeb-c-emulator-plugin/HEAD/scripts/generateEclipseProjectFilesForPlugin.py -------------------------------------------------------------------------------- /src/com/pnf/plugin/cemulator/CEmulatorPlugin.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pnfsoftware/jeb-c-emulator-plugin/HEAD/src/com/pnf/plugin/cemulator/CEmulatorPlugin.java -------------------------------------------------------------------------------- /src/com/pnf/plugin/cemulator/CFG.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pnfsoftware/jeb-c-emulator-plugin/HEAD/src/com/pnf/plugin/cemulator/CFG.java -------------------------------------------------------------------------------- /src/com/pnf/plugin/cemulator/EmulatorException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pnfsoftware/jeb-c-emulator-plugin/HEAD/src/com/pnf/plugin/cemulator/EmulatorException.java -------------------------------------------------------------------------------- /src/com/pnf/plugin/cemulator/EmulatorLog.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pnfsoftware/jeb-c-emulator-plugin/HEAD/src/com/pnf/plugin/cemulator/EmulatorLog.java -------------------------------------------------------------------------------- /src/com/pnf/plugin/cemulator/EmulatorState.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pnfsoftware/jeb-c-emulator-plugin/HEAD/src/com/pnf/plugin/cemulator/EmulatorState.java -------------------------------------------------------------------------------- /src/com/pnf/plugin/cemulator/HeadlessClient.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pnfsoftware/jeb-c-emulator-plugin/HEAD/src/com/pnf/plugin/cemulator/HeadlessClient.java -------------------------------------------------------------------------------- /src/com/pnf/plugin/cemulator/MarsAnalyticaCEmulator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pnfsoftware/jeb-c-emulator-plugin/HEAD/src/com/pnf/plugin/cemulator/MarsAnalyticaCEmulator.java -------------------------------------------------------------------------------- /src/com/pnf/plugin/cemulator/SimpleCEmulator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pnfsoftware/jeb-c-emulator-plugin/HEAD/src/com/pnf/plugin/cemulator/SimpleCEmulator.java --------------------------------------------------------------------------------