├── .github ├── ISSUE_TEMPLATE │ ├── bug_report.md │ └── feature_request.md ├── dependabot.yml └── workflows │ ├── codeql.yml │ └── test.yml ├── .gitignore ├── LICENSE ├── README.md ├── SymGX.py ├── benchmarks ├── CE.wasm ├── bi2.wasm ├── bi2.wat ├── dnet.wasm ├── dnet.wat ├── isdl.wasm ├── isdl.wat ├── kmeans.wasm ├── kmeans.wat ├── pw.wasm ├── pw.wat ├── reencrypt.wasm ├── rsa.wasm ├── rsa.wat ├── sgxcrypto.wasm ├── sgxcrypto.wat ├── sl.wasm ├── sl.wat ├── spf.wasm ├── spf.wat ├── sse.wasm ├── sse.wat ├── ve.wasm ├── ve.wat ├── wallet.wasm └── wallet.wat ├── clean.sh ├── eunomia ├── __init__.py ├── __init__.pyc ├── analysis │ ├── __init__.py │ ├── __init__.pyc │ ├── cfg.py │ └── graph.py ├── arch │ ├── __init__.py │ ├── __init__.pyc │ └── wasm │ │ ├── __init__.py │ │ ├── __init__.pyc │ │ ├── analyzer.py │ │ ├── cfg.py │ │ ├── configuration.py │ │ ├── constant.py │ │ ├── decode.py │ │ ├── disassembler.py │ │ ├── dwarfParser.py │ │ ├── emulator.py │ │ ├── exceptions.py │ │ ├── format.py │ │ ├── instruction.py │ │ ├── instructions │ │ ├── ArithmeticInstructions.py │ │ ├── BitwiseInstructions.py │ │ ├── ConstantInstructions.py │ │ ├── ControlInstructions.py │ │ ├── ConversionInstructions.py │ │ ├── LogicalInstructions.py │ │ ├── MemoryInstructions.py │ │ ├── ParametricInstructions.py │ │ ├── VariableInstructions.py │ │ └── __init__.py │ │ ├── lib │ │ ├── Import.py │ │ ├── c_lib.py │ │ ├── go_lib.py │ │ ├── sgx.py │ │ ├── utils.py │ │ └── wasi.py │ │ ├── memanalyzer.py │ │ ├── memory.py │ │ ├── modules │ │ ├── BufferOverflowLaser.py │ │ ├── DivZeroLaser.py │ │ ├── OverflowLaser.py │ │ └── __init__.py │ │ ├── mythread.py │ │ ├── pathgraph.py │ │ ├── shadow.py │ │ ├── solver.py │ │ ├── utils.py │ │ ├── visualizator.py │ │ ├── vmstate.py │ │ └── wasm.py ├── core │ ├── __init__.py │ ├── __init__.pyc │ ├── basicblock.py │ ├── edge.py │ ├── function.py │ ├── instruction.py │ └── utils.py └── engine │ ├── __init__.py │ ├── __init__.pyc │ ├── disassembler.py │ ├── emulator.py │ └── engine.py ├── main.py ├── output ├── log │ └── .placeholder └── result │ └── .placeholder ├── pic ├── 104848503.jfif └── logo.png ├── requirements.txt ├── run.sh ├── seewasm ├── __init__.py ├── analysis │ ├── __init__.py │ ├── __init__.pyc │ └── cfg.py ├── arch │ ├── __init__.py │ └── wasm │ │ ├── __init__.py │ │ ├── __init__.pyc │ │ ├── analyzer.py │ │ ├── cfg.py │ │ ├── configuration.py │ │ ├── constant.py │ │ ├── decode.py │ │ ├── disassembler.py │ │ ├── dwarfParser.py │ │ ├── emulator.py │ │ ├── exceptions.py │ │ ├── format.py │ │ ├── graph.py │ │ ├── instruction.py │ │ ├── instructions │ │ ├── ArithmeticInstructions.py │ │ ├── BitwiseInstructions.py │ │ ├── ConstantInstructions.py │ │ ├── ControlInstructions.py │ │ ├── ConversionInstructions.py │ │ ├── LogicalInstructions.py │ │ ├── MemoryInstructions.py │ │ ├── ParametricInstructions.py │ │ ├── VariableInstructions.py │ │ └── __init__.py │ │ ├── lib │ │ ├── utils.py │ │ └── wasi.py │ │ ├── memory.py │ │ ├── solver.py │ │ ├── utils.py │ │ ├── visualizator.py │ │ ├── vmstate.py │ │ └── wasm.py ├── core │ ├── __init__.py │ ├── __init__.pyc │ ├── basicblock.py │ ├── edge.py │ ├── function.py │ ├── instruction.py │ └── utils.py └── engine │ ├── __init__.py │ ├── __init__.pyc │ ├── disassembler.py │ ├── emulator.py │ └── engine.py ├── test.py ├── test ├── c │ └── src │ │ ├── hello.c │ │ └── sym.c ├── go │ └── src │ │ └── hello.go ├── hello_world.wasm ├── hello_world_go.wasm ├── hello_world_rust.wasm ├── password.wasm ├── rust │ └── hello │ │ ├── Cargo.toml │ │ └── src │ │ └── main.rs ├── sym_c.wasm ├── test.wasm ├── test_c_library.wasm ├── test_linux.py ├── test_return.wasm └── test_unreachable.wasm └── wasm ├── __init__.py ├── __main__.py ├── compat.py ├── decode.py ├── formatter.py ├── immtypes.py ├── modtypes.py ├── opcodes.py ├── types.py └── wasmtypes.py /.github/ISSUE_TEMPLATE/bug_report.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/.github/ISSUE_TEMPLATE/bug_report.md -------------------------------------------------------------------------------- /.github/ISSUE_TEMPLATE/feature_request.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/.github/ISSUE_TEMPLATE/feature_request.md -------------------------------------------------------------------------------- /.github/dependabot.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/.github/dependabot.yml -------------------------------------------------------------------------------- /.github/workflows/codeql.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/.github/workflows/codeql.yml -------------------------------------------------------------------------------- /.github/workflows/test.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/.github/workflows/test.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/README.md -------------------------------------------------------------------------------- /SymGX.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/SymGX.py -------------------------------------------------------------------------------- /benchmarks/CE.wasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/benchmarks/CE.wasm -------------------------------------------------------------------------------- /benchmarks/bi2.wasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/benchmarks/bi2.wasm -------------------------------------------------------------------------------- /benchmarks/bi2.wat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/benchmarks/bi2.wat -------------------------------------------------------------------------------- /benchmarks/dnet.wasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/benchmarks/dnet.wasm -------------------------------------------------------------------------------- /benchmarks/dnet.wat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/benchmarks/dnet.wat -------------------------------------------------------------------------------- /benchmarks/isdl.wasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/benchmarks/isdl.wasm -------------------------------------------------------------------------------- /benchmarks/isdl.wat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/benchmarks/isdl.wat -------------------------------------------------------------------------------- /benchmarks/kmeans.wasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/benchmarks/kmeans.wasm -------------------------------------------------------------------------------- /benchmarks/kmeans.wat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/benchmarks/kmeans.wat -------------------------------------------------------------------------------- /benchmarks/pw.wasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/benchmarks/pw.wasm -------------------------------------------------------------------------------- /benchmarks/pw.wat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/benchmarks/pw.wat -------------------------------------------------------------------------------- /benchmarks/reencrypt.wasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/benchmarks/reencrypt.wasm -------------------------------------------------------------------------------- /benchmarks/rsa.wasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/benchmarks/rsa.wasm -------------------------------------------------------------------------------- /benchmarks/rsa.wat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/benchmarks/rsa.wat -------------------------------------------------------------------------------- /benchmarks/sgxcrypto.wasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/benchmarks/sgxcrypto.wasm -------------------------------------------------------------------------------- /benchmarks/sgxcrypto.wat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/benchmarks/sgxcrypto.wat -------------------------------------------------------------------------------- /benchmarks/sl.wasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/benchmarks/sl.wasm -------------------------------------------------------------------------------- /benchmarks/sl.wat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/benchmarks/sl.wat -------------------------------------------------------------------------------- /benchmarks/spf.wasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/benchmarks/spf.wasm -------------------------------------------------------------------------------- /benchmarks/spf.wat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/benchmarks/spf.wat -------------------------------------------------------------------------------- /benchmarks/sse.wasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/benchmarks/sse.wasm -------------------------------------------------------------------------------- /benchmarks/sse.wat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/benchmarks/sse.wat -------------------------------------------------------------------------------- /benchmarks/ve.wasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/benchmarks/ve.wasm -------------------------------------------------------------------------------- /benchmarks/ve.wat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/benchmarks/ve.wat -------------------------------------------------------------------------------- /benchmarks/wallet.wasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/benchmarks/wallet.wasm -------------------------------------------------------------------------------- /benchmarks/wallet.wat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/benchmarks/wallet.wat -------------------------------------------------------------------------------- /clean.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/clean.sh -------------------------------------------------------------------------------- /eunomia/__init__.py: -------------------------------------------------------------------------------- 1 | name = "octopus" -------------------------------------------------------------------------------- /eunomia/__init__.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/eunomia/__init__.pyc -------------------------------------------------------------------------------- /eunomia/analysis/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /eunomia/analysis/__init__.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/eunomia/analysis/__init__.pyc -------------------------------------------------------------------------------- /eunomia/analysis/cfg.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/eunomia/analysis/cfg.py -------------------------------------------------------------------------------- /eunomia/analysis/graph.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/eunomia/analysis/graph.py -------------------------------------------------------------------------------- /eunomia/arch/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /eunomia/arch/__init__.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/eunomia/arch/__init__.pyc -------------------------------------------------------------------------------- /eunomia/arch/wasm/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /eunomia/arch/wasm/__init__.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/eunomia/arch/wasm/__init__.pyc -------------------------------------------------------------------------------- /eunomia/arch/wasm/analyzer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/eunomia/arch/wasm/analyzer.py -------------------------------------------------------------------------------- /eunomia/arch/wasm/cfg.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/eunomia/arch/wasm/cfg.py -------------------------------------------------------------------------------- /eunomia/arch/wasm/configuration.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/eunomia/arch/wasm/configuration.py -------------------------------------------------------------------------------- /eunomia/arch/wasm/constant.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/eunomia/arch/wasm/constant.py -------------------------------------------------------------------------------- /eunomia/arch/wasm/decode.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/eunomia/arch/wasm/decode.py -------------------------------------------------------------------------------- /eunomia/arch/wasm/disassembler.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/eunomia/arch/wasm/disassembler.py -------------------------------------------------------------------------------- /eunomia/arch/wasm/dwarfParser.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/eunomia/arch/wasm/dwarfParser.py -------------------------------------------------------------------------------- /eunomia/arch/wasm/emulator.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/eunomia/arch/wasm/emulator.py -------------------------------------------------------------------------------- /eunomia/arch/wasm/exceptions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/eunomia/arch/wasm/exceptions.py -------------------------------------------------------------------------------- /eunomia/arch/wasm/format.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/eunomia/arch/wasm/format.py -------------------------------------------------------------------------------- /eunomia/arch/wasm/instruction.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/eunomia/arch/wasm/instruction.py -------------------------------------------------------------------------------- /eunomia/arch/wasm/instructions/ArithmeticInstructions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/eunomia/arch/wasm/instructions/ArithmeticInstructions.py -------------------------------------------------------------------------------- /eunomia/arch/wasm/instructions/BitwiseInstructions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/eunomia/arch/wasm/instructions/BitwiseInstructions.py -------------------------------------------------------------------------------- /eunomia/arch/wasm/instructions/ConstantInstructions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/eunomia/arch/wasm/instructions/ConstantInstructions.py -------------------------------------------------------------------------------- /eunomia/arch/wasm/instructions/ControlInstructions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/eunomia/arch/wasm/instructions/ControlInstructions.py -------------------------------------------------------------------------------- /eunomia/arch/wasm/instructions/ConversionInstructions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/eunomia/arch/wasm/instructions/ConversionInstructions.py -------------------------------------------------------------------------------- /eunomia/arch/wasm/instructions/LogicalInstructions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/eunomia/arch/wasm/instructions/LogicalInstructions.py -------------------------------------------------------------------------------- /eunomia/arch/wasm/instructions/MemoryInstructions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/eunomia/arch/wasm/instructions/MemoryInstructions.py -------------------------------------------------------------------------------- /eunomia/arch/wasm/instructions/ParametricInstructions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/eunomia/arch/wasm/instructions/ParametricInstructions.py -------------------------------------------------------------------------------- /eunomia/arch/wasm/instructions/VariableInstructions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/eunomia/arch/wasm/instructions/VariableInstructions.py -------------------------------------------------------------------------------- /eunomia/arch/wasm/instructions/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/eunomia/arch/wasm/instructions/__init__.py -------------------------------------------------------------------------------- /eunomia/arch/wasm/lib/Import.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/eunomia/arch/wasm/lib/Import.py -------------------------------------------------------------------------------- /eunomia/arch/wasm/lib/c_lib.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/eunomia/arch/wasm/lib/c_lib.py -------------------------------------------------------------------------------- /eunomia/arch/wasm/lib/go_lib.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/eunomia/arch/wasm/lib/go_lib.py -------------------------------------------------------------------------------- /eunomia/arch/wasm/lib/sgx.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/eunomia/arch/wasm/lib/sgx.py -------------------------------------------------------------------------------- /eunomia/arch/wasm/lib/utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/eunomia/arch/wasm/lib/utils.py -------------------------------------------------------------------------------- /eunomia/arch/wasm/lib/wasi.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/eunomia/arch/wasm/lib/wasi.py -------------------------------------------------------------------------------- /eunomia/arch/wasm/memanalyzer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/eunomia/arch/wasm/memanalyzer.py -------------------------------------------------------------------------------- /eunomia/arch/wasm/memory.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/eunomia/arch/wasm/memory.py -------------------------------------------------------------------------------- /eunomia/arch/wasm/modules/BufferOverflowLaser.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/eunomia/arch/wasm/modules/BufferOverflowLaser.py -------------------------------------------------------------------------------- /eunomia/arch/wasm/modules/DivZeroLaser.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/eunomia/arch/wasm/modules/DivZeroLaser.py -------------------------------------------------------------------------------- /eunomia/arch/wasm/modules/OverflowLaser.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/eunomia/arch/wasm/modules/OverflowLaser.py -------------------------------------------------------------------------------- /eunomia/arch/wasm/modules/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /eunomia/arch/wasm/mythread.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/eunomia/arch/wasm/mythread.py -------------------------------------------------------------------------------- /eunomia/arch/wasm/pathgraph.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/eunomia/arch/wasm/pathgraph.py -------------------------------------------------------------------------------- /eunomia/arch/wasm/shadow.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/eunomia/arch/wasm/shadow.py -------------------------------------------------------------------------------- /eunomia/arch/wasm/solver.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/eunomia/arch/wasm/solver.py -------------------------------------------------------------------------------- /eunomia/arch/wasm/utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/eunomia/arch/wasm/utils.py -------------------------------------------------------------------------------- /eunomia/arch/wasm/visualizator.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/eunomia/arch/wasm/visualizator.py -------------------------------------------------------------------------------- /eunomia/arch/wasm/vmstate.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/eunomia/arch/wasm/vmstate.py -------------------------------------------------------------------------------- /eunomia/arch/wasm/wasm.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/eunomia/arch/wasm/wasm.py -------------------------------------------------------------------------------- /eunomia/core/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /eunomia/core/__init__.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/eunomia/core/__init__.pyc -------------------------------------------------------------------------------- /eunomia/core/basicblock.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/eunomia/core/basicblock.py -------------------------------------------------------------------------------- /eunomia/core/edge.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/eunomia/core/edge.py -------------------------------------------------------------------------------- /eunomia/core/function.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/eunomia/core/function.py -------------------------------------------------------------------------------- /eunomia/core/instruction.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/eunomia/core/instruction.py -------------------------------------------------------------------------------- /eunomia/core/utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/eunomia/core/utils.py -------------------------------------------------------------------------------- /eunomia/engine/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /eunomia/engine/__init__.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/eunomia/engine/__init__.pyc -------------------------------------------------------------------------------- /eunomia/engine/disassembler.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/eunomia/engine/disassembler.py -------------------------------------------------------------------------------- /eunomia/engine/emulator.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/eunomia/engine/emulator.py -------------------------------------------------------------------------------- /eunomia/engine/engine.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/eunomia/engine/engine.py -------------------------------------------------------------------------------- /main.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/main.py -------------------------------------------------------------------------------- /output/log/.placeholder: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /output/result/.placeholder: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /pic/104848503.jfif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/pic/104848503.jfif -------------------------------------------------------------------------------- /pic/logo.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/pic/logo.png -------------------------------------------------------------------------------- /requirements.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/requirements.txt -------------------------------------------------------------------------------- /run.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/run.sh -------------------------------------------------------------------------------- /seewasm/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /seewasm/analysis/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /seewasm/analysis/__init__.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/seewasm/analysis/__init__.pyc -------------------------------------------------------------------------------- /seewasm/analysis/cfg.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/seewasm/analysis/cfg.py -------------------------------------------------------------------------------- /seewasm/arch/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /seewasm/arch/wasm/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /seewasm/arch/wasm/__init__.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/seewasm/arch/wasm/__init__.pyc -------------------------------------------------------------------------------- /seewasm/arch/wasm/analyzer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/seewasm/arch/wasm/analyzer.py -------------------------------------------------------------------------------- /seewasm/arch/wasm/cfg.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/seewasm/arch/wasm/cfg.py -------------------------------------------------------------------------------- /seewasm/arch/wasm/configuration.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/seewasm/arch/wasm/configuration.py -------------------------------------------------------------------------------- /seewasm/arch/wasm/constant.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/seewasm/arch/wasm/constant.py -------------------------------------------------------------------------------- /seewasm/arch/wasm/decode.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/seewasm/arch/wasm/decode.py -------------------------------------------------------------------------------- /seewasm/arch/wasm/disassembler.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/seewasm/arch/wasm/disassembler.py -------------------------------------------------------------------------------- /seewasm/arch/wasm/dwarfParser.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/seewasm/arch/wasm/dwarfParser.py -------------------------------------------------------------------------------- /seewasm/arch/wasm/emulator.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/seewasm/arch/wasm/emulator.py -------------------------------------------------------------------------------- /seewasm/arch/wasm/exceptions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/seewasm/arch/wasm/exceptions.py -------------------------------------------------------------------------------- /seewasm/arch/wasm/format.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/seewasm/arch/wasm/format.py -------------------------------------------------------------------------------- /seewasm/arch/wasm/graph.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/seewasm/arch/wasm/graph.py -------------------------------------------------------------------------------- /seewasm/arch/wasm/instruction.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/seewasm/arch/wasm/instruction.py -------------------------------------------------------------------------------- /seewasm/arch/wasm/instructions/ArithmeticInstructions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/seewasm/arch/wasm/instructions/ArithmeticInstructions.py -------------------------------------------------------------------------------- /seewasm/arch/wasm/instructions/BitwiseInstructions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/seewasm/arch/wasm/instructions/BitwiseInstructions.py -------------------------------------------------------------------------------- /seewasm/arch/wasm/instructions/ConstantInstructions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/seewasm/arch/wasm/instructions/ConstantInstructions.py -------------------------------------------------------------------------------- /seewasm/arch/wasm/instructions/ControlInstructions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/seewasm/arch/wasm/instructions/ControlInstructions.py -------------------------------------------------------------------------------- /seewasm/arch/wasm/instructions/ConversionInstructions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/seewasm/arch/wasm/instructions/ConversionInstructions.py -------------------------------------------------------------------------------- /seewasm/arch/wasm/instructions/LogicalInstructions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/seewasm/arch/wasm/instructions/LogicalInstructions.py -------------------------------------------------------------------------------- /seewasm/arch/wasm/instructions/MemoryInstructions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/seewasm/arch/wasm/instructions/MemoryInstructions.py -------------------------------------------------------------------------------- /seewasm/arch/wasm/instructions/ParametricInstructions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/seewasm/arch/wasm/instructions/ParametricInstructions.py -------------------------------------------------------------------------------- /seewasm/arch/wasm/instructions/VariableInstructions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/seewasm/arch/wasm/instructions/VariableInstructions.py -------------------------------------------------------------------------------- /seewasm/arch/wasm/instructions/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/seewasm/arch/wasm/instructions/__init__.py -------------------------------------------------------------------------------- /seewasm/arch/wasm/lib/utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/seewasm/arch/wasm/lib/utils.py -------------------------------------------------------------------------------- /seewasm/arch/wasm/lib/wasi.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/seewasm/arch/wasm/lib/wasi.py -------------------------------------------------------------------------------- /seewasm/arch/wasm/memory.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/seewasm/arch/wasm/memory.py -------------------------------------------------------------------------------- /seewasm/arch/wasm/solver.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/seewasm/arch/wasm/solver.py -------------------------------------------------------------------------------- /seewasm/arch/wasm/utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/seewasm/arch/wasm/utils.py -------------------------------------------------------------------------------- /seewasm/arch/wasm/visualizator.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/seewasm/arch/wasm/visualizator.py -------------------------------------------------------------------------------- /seewasm/arch/wasm/vmstate.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/seewasm/arch/wasm/vmstate.py -------------------------------------------------------------------------------- /seewasm/arch/wasm/wasm.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/seewasm/arch/wasm/wasm.py -------------------------------------------------------------------------------- /seewasm/core/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /seewasm/core/__init__.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/seewasm/core/__init__.pyc -------------------------------------------------------------------------------- /seewasm/core/basicblock.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/seewasm/core/basicblock.py -------------------------------------------------------------------------------- /seewasm/core/edge.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/seewasm/core/edge.py -------------------------------------------------------------------------------- /seewasm/core/function.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/seewasm/core/function.py -------------------------------------------------------------------------------- /seewasm/core/instruction.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/seewasm/core/instruction.py -------------------------------------------------------------------------------- /seewasm/core/utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/seewasm/core/utils.py -------------------------------------------------------------------------------- /seewasm/engine/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /seewasm/engine/__init__.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/seewasm/engine/__init__.pyc -------------------------------------------------------------------------------- /seewasm/engine/disassembler.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/seewasm/engine/disassembler.py -------------------------------------------------------------------------------- /seewasm/engine/emulator.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/seewasm/engine/emulator.py -------------------------------------------------------------------------------- /seewasm/engine/engine.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/seewasm/engine/engine.py -------------------------------------------------------------------------------- /test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/test.py -------------------------------------------------------------------------------- /test/c/src/hello.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/test/c/src/hello.c -------------------------------------------------------------------------------- /test/c/src/sym.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/test/c/src/sym.c -------------------------------------------------------------------------------- /test/go/src/hello.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/test/go/src/hello.go -------------------------------------------------------------------------------- /test/hello_world.wasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/test/hello_world.wasm -------------------------------------------------------------------------------- /test/hello_world_go.wasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/test/hello_world_go.wasm -------------------------------------------------------------------------------- /test/hello_world_rust.wasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/test/hello_world_rust.wasm -------------------------------------------------------------------------------- /test/password.wasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/test/password.wasm -------------------------------------------------------------------------------- /test/rust/hello/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/test/rust/hello/Cargo.toml -------------------------------------------------------------------------------- /test/rust/hello/src/main.rs: -------------------------------------------------------------------------------- 1 | fn main() { 2 | println!("Hello, world!"); 3 | } 4 | -------------------------------------------------------------------------------- /test/sym_c.wasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/test/sym_c.wasm -------------------------------------------------------------------------------- /test/test.wasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/test/test.wasm -------------------------------------------------------------------------------- /test/test_c_library.wasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/test/test_c_library.wasm -------------------------------------------------------------------------------- /test/test_linux.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/test/test_linux.py -------------------------------------------------------------------------------- /test/test_return.wasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/test/test_return.wasm -------------------------------------------------------------------------------- /test/test_unreachable.wasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/test/test_unreachable.wasm -------------------------------------------------------------------------------- /wasm/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/wasm/__init__.py -------------------------------------------------------------------------------- /wasm/__main__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/wasm/__main__.py -------------------------------------------------------------------------------- /wasm/compat.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/wasm/compat.py -------------------------------------------------------------------------------- /wasm/decode.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/wasm/decode.py -------------------------------------------------------------------------------- /wasm/formatter.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/wasm/formatter.py -------------------------------------------------------------------------------- /wasm/immtypes.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/wasm/immtypes.py -------------------------------------------------------------------------------- /wasm/modtypes.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/wasm/modtypes.py -------------------------------------------------------------------------------- /wasm/opcodes.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/wasm/opcodes.py -------------------------------------------------------------------------------- /wasm/types.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/wasm/types.py -------------------------------------------------------------------------------- /wasm/wasmtypes.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PKU-ASAL/WASEM/HEAD/wasm/wasmtypes.py --------------------------------------------------------------------------------