blaze-platform
A framework for program analysis with a focus on modeling programmer assumptions, context- and path-sensitive analyses, and type checking.
파일 탐색기
최종 버전 다운로드 (.zip)- binary_ninja_updater.py
- run_test.py
- submit-findings.py
- build.yml
- changelog.yml
- BinaryAnalysis.hs
- BinaryAnalysisSpec.hs
- Spec.hs
- ChangeLog.md
- LICENSE
- package.yaml
- README.md
- Setup.hs
- stack.yaml
- Main.hs
- Main.hs
- Printer.hs
- ParseComment.hs
- ParseEnums.hs
- ParseFunction.hs
- ParseHeader.hs
- ParseStruct.hs
- Prelude.hs
- ParseEnumsSpec.hs
- Spec.hs
- ChangeLog.md
- LICENSE
- package.yaml
- README.md
- .keep
- Dive_Logger
- Dive_Logger.bndb
- Dungeon_Master
- Dungeon_Master.bndb
- TypeLibTest
- TypeLibTest.c
- binaryninjacore.h
- Bindings.chs
- Enums.chs
- Helpers.hs
- Main.hs
- Pointers.hs
- Structs.chs
- TH.hs
- Types.hs
- Util.hs
- AdcOp.hs
- AddOp.hs
- AddOverflowOp.hs
- AddressOfFieldOp.hs
- AddressOfOp.hs
- AndOp.hs
- AsrOp.hs
- BoolToIntOp.hs
- BpOp.hs
- CallOp.hs
- CallOutputOp.hs
- CallOutputSSAOp.hs
- CallParamOp.hs
- CallParamSSAOp.hs
- CallSSAOp.hs
- CallUntypedOp.hs
- CallUntypedSSAOp.hs
- CeilOp.hs
- CmpEOp.hs
- CmpNeOp.hs
- CmpSgeOp.hs
- CmpSgtOp.hs
- CmpSleOp.hs
- CmpSltOp.hs
- CmpUgeOp.hs
- CmpUgtOp.hs
- CmpUleOp.hs
- CmpUltOp.hs
- ConstDataOp.hs
- ConstOp.hs
- ConstPtrOp.hs
- DivsDpOp.hs
- DivsOp.hs
- DivuDpOp.hs
- DivuOp.hs
- ExternPtrOp.hs
- FabsOp.hs
- FaddOp.hs
- FcmpEOp.hs
- FcmpGeOp.hs
- FcmpGtOp.hs
- FcmpLeOp.hs
- FcmpLtOp.hs
- FcmpNeOp.hs
- FcmpOOp.hs
- FcmpUoOp.hs
- FdivOp.hs
- FloatConstOp.hs
- FloatConvOp.hs
- FloatToIntOp.hs
- FloorOp.hs
- FmulOp.hs
- FnegOp.hs
- FreeVarSlotOp.hs
- FreeVarSlotSSAOp.hs
- FsqrtOp.hs
- FsubOp.hs
- FtruncOp.hs
- GotoOp.hs
- IfOp.hs
- ImportOp.hs
- IntrinsicOp.hs
- IntrinsicSSAOp.hs
- IntToFloatOp.hs
- JumpOp.hs
- JumpToOp.hs
- LoadOp.hs
- LoadSSAOp.hs
- LoadStructOp.hs
- LoadStructSSAOp.hs
- LowPartOp.hs
- LslOp.hs
- LsrOp.hs
- MemPhiOp.hs
- ModsDpOp.hs
- ModsOp.hs
- ModuDpOp.hs
- ModuOp.hs
- MulOp.hs
- MulsDpOp.hs
- MuluDpOp.hs
- NegOp.hs
- NopOp.hs
- NoretOp.hs
- NotOp.hs
- OrOp.hs
- RetHintOp.hs
- RetOp.hs
- RlcOp.hs
- RolOp.hs
- RorOp.hs
- RoundToIntOp.hs
- RrcOp.hs
- SbbOp.hs
- SetVarAliasedFieldOp.hs
- SetVarAliasedOp.hs
- SetVarFieldOp.hs
- SetVarOp.hs
- SetVarSplitOp.hs
- SetVarSplitSSAOp.hs
- SetVarSSAFieldOp.hs
- SetVarSSAOp.hs
- StoreOp.hs
- StoreSSAOp.hs
- StoreStructOp.hs
- StoreStructSSAOp.hs
- SubOp.hs
- SxOp.hs
- SyscallOp.hs
- SyscallSSAOp.hs
- SyscallUntypedOp.hs
- SyscallUntypedSSAOp.hs
- TailcallOp.hs
- TailcallSSAOp.hs
- TailcallUntypedOp.hs
- TailcallUntypedSSAOp.hs
- TestBitOp.hs
- TrapOp.hs
- UndefOp.hs
- UnimplMemOp.hs
- UnimplOp.hs
- VarAliasedFieldOp.hs
- VarAliasedOp.hs
- VarFieldOp.hs
- VarOp.hs
- VarPhiOp.hs
- VarSplitOp.hs
- VarSplitSSAOp.hs
- VarSSAFieldOp.hs
- VarSSAOp.hs
- XorOp.hs
- ZxOp.hs
- Common.hs
- Ops.hs
- Analysis.hs
- Architecture.hs
- BasicBlock.hs
- ClassyFields.hs
- Function.hs
- MLIL.hs
- Reference.hs
- StringReference.hs
- Symbol.hs
- TypeLibrary.hs
- Variable.hs
- Analysis.hs
- Architecture.hs
- BasicBlock.hs
- Core.hs
- Function.hs
- MLIL.hs
- Prelude.hs
- Reference.hs
- TypeLibrary.hs
- Variable.hs
- View.hs
- CoreSpec.hs
- TypeLibrarySpec.hs
- Main.hs
- Spec.hs
- .hspec
- ChangeLog.md
- Justfile
- LICENSE
- package.yaml
- README.md
- Main.hs
- Printer.hs
- Main.hs
- CallGraph.hs
- AlgaDemo.hs
- MLILDemo.hs
- LoopChallenge.hs
- SearchDemo.hs
- Main.hs
- cfg_importer_test
- Dive_Logger
- Dungeon_Master
- CallGraph.hs
- Cfg.hs
- MLIL.hs
- Pil.hs
- Types.hs
- BinaryNinja.hs
- BinaryNinjaSpec.hs
- Main.hs
- Spec.hs
- SolverSpec.hs
- CallGraphSpec.hs
- IndirectCallResolutionSpec.hs
- Main.hs
- Spec.hs
- ChangeLog.md
- LICENSE
- package.yaml
- README.md
- annotated_binary
- annotated_binary.c
- annotated_binary.gzf
- box
- box.bndb
- box.cpp
- box.gzf
- test
- test.bndb
- test.c
- Dive_Logger
- Dive_Logger.bndb
- Dive_Logger.gzf
- Dungeon_Master
- Dungeon_Master.bndb
- Dungeon_Master.gzf
- intercfg
- intercfg.bndb
- intercfg.c
- intercfg.gzf
- kernel_uaf
- kernel_ufa
- kernel_ufa.c
- kernel_ufa.gzf
- libplt_thunk.so
- Makefile
- plt_thunk.c
- recursive_struct
- recursive_struct.c
- recursive_struct.gzf
- ghidra.jar
- pcode-helper.jar
- LoopSampler.hs
- Solver.hs
- BranchContext.hs
- General.hs
- Analysis.hs
- Checker.hs
- Interprocedural.hs
- Loop.hs
- Path.hs
- CallGraph.hs
- CAst.hs
- Cfg.hs
- DataTypeConversions.hs
- Pil.hs
- Types.hs
- Xref.hs
- Ghidra.hs
- Binary.hs
- CallGraph.hs
- Cfg.hs
- Decomp.hs
- Pil.hs
- Xref.hs
- Db.hs
- Lmdb.hs
- Path.hs
- Rewrite.hs
- Constraints.hs
- Unification.hs
- List.hs
- Analysis.hs
- Checker.hs
- Construct.hs
- Display.hs
- Eval.hs
- Function.hs
- Parse.hs
- Solver.hs
- Summary.hs
- Analysis.hs
- Grouping.hs
- Interprocedural.hs
- Loop.hs
- Path.hs
- Alga.hs
- EdgeGraph.hs
- Alga.hs
- Db.hs
- Subst.hs
- AdcOp.hs
- AddOp.hs
- AddWillCarryOp.hs
- AddWillOverflowOp.hs
- AndOp.hs
- AsrOp.hs
- BoolToIntOp.hs
- CeilOp.hs
- CmpEOp.hs
- CmpNeOp.hs
- CmpSgeOp.hs
- CmpSgtOp.hs
- CmpSleOp.hs
- CmpSltOp.hs
- CmpUgeOp.hs
- CmpUgtOp.hs
- CmpUleOp.hs
- CmpUltOp.hs
- ConstFloatOp.hs
- ConstOp.hs
- ConstPtrOp.hs
- DivsDpOp.hs
- DivsOp.hs
- DivuDpOp.hs
- DivuOp.hs
- FabsOp.hs
- FaddOp.hs
- FcmpEOp.hs
- FcmpGeOp.hs
- FcmpGtOp.hs
- FcmpLeOp.hs
- FcmpLtOp.hs
- FcmpNeOp.hs
- FcmpOOp.hs
- FcmpUoOp.hs
- FdivOp.hs
- FloatConvOp.hs
- FloatToIntOp.hs
- FloorOp.hs
- FmulOp.hs
- FnegOp.hs
- FsqrtOp.hs
- FsubOp.hs
- FtruncOp.hs
- GlobalPtrOp.hs
- ImportOp.hs
- IntToFloatOp.hs
- LoadOp.hs
- LowPartOp.hs
- LslOp.hs
- LsrOp.hs
- ModsDpOp.hs
- ModsOp.hs
- ModuDpOp.hs
- ModuOp.hs
- MulOp.hs
- MulsDpOp.hs
- MuluDpOp.hs
- NegOp.hs
- NotOp.hs
- OrOp.hs
- PopcntOp.hs
- RlcOp.hs
- RolOp.hs
- RorOp.hs
- RoundToIntOp.hs
- RrcOp.hs
- SbbOp.hs
- SubOp.hs
- SubWillOverflowOp.hs
- SxOp.hs
- TestBitOp.hs
- XorOp.hs
- XorOpOp.hs
- ZxOp.hs
- Analysis.hs
- Checker.hs
- Common.hs
- Expression.hs
- Function.hs
- Ops.hs
- PilType.hs
- Solver.hs
- Summary.hs
- CachedCalc.hs
- CachedMap.hs
- CallGraph.hs
- CAst.hs
- Cfg.hs
- Function.hs
- Graph.hs
- HighCfg.hs
- HighCfNode.hs
- Import.hs
- IndirectCallResolution.hs
- Path.hs
- PersistentCalc.hs
- Pil.hs
- VTable.hs
- Analysis.hs
- Graph.hs
- Spec.hs
- CallGraph.hs
- Cfg.hs
- CfgDot.hs
- Concurrent.hs
- Function.hs
- Graph.hs
- IndirectCallResolution.hs
- Path.hs
- Pil.hs
- Prelude.hs
- Pretty.hs
- Search.hs
- Util.hs
- VTable.hs
- DbSpec.hs
- LoopSamplerSpec.hs
- SolverSpec.hs
- BranchContextSpec.hs
- GeneralSpec.hs
- AnalysisSpec.hs
- CheckerSpec.hs
- InterproceduralSpec.hs
- LoopSpec.hs
- PathSpec.hs
- PilLoopSpec.hs
- SolverSpec.hs
- PilSpec.hs
- PathSpec.hs
- ConstraintsSpec.hs
- UnificationSpec.hs
- AnalysisSpec.hs
- CheckerSpec.hs
- ConstructSpec.hs
- EvalSpec.hs
- ParseSpec.hs
- SolverSpec.hs
- SummarySpec.hs
- Util.hs
- GroupingSpec.hs
- GraphSpec.hs
- PathSpec.hs
- CfgSpec.hs
- GraphSpec.hs
- PathSpec.hs
- PilSpec.hs
- SearchSpec.hs
- Spec.hs
- CallGraphSpec.hs
- CfgSpec.hs
- PilSpec.hs
- XrefSpec.hs
- GhidraSpec.hs
- DbSpec.hs
- Main.hs
- Spec.hs
- ChangeLog.md
- LICENSE
- package.yaml
- README.md
- stack.yaml
- demo1
- demo1.c
- Makefile
- input_genesis.c
- input_simple.c
- Makefile
- cfg_test
- cfg_test.c
- cfs_test
- cfs_test.c
- heap_overflow.c
- Makefile
- Main.hs
- Main.hs
- Main.hs
- Main.hs
- Main.hs
- Main.hs
- Main.hs
- Main.hs
- Main.hs
- Main.hs
- Dive_Logger
- intercfg
- shim
- ghidra.jar
- pcode-helper.jar
- PathSpec.hs
- StoreSpec.hs
- QuerySpec.hs
- Main.hs
- Spec.hs
- package.yaml
- electronictrading
- electronictrading.bndb
- dump_fixed_addrs
- in_like_flint.py
- dirty_benchmark
- dirty_benchmark.gzf
- main.c
- Dive_Logger
- Dive_Logger.bndb
- Dive_Logger.gzf
- intercfg
- intercfg.bndb
- intercfg.c
- CWE416_Use_After_Free__return_freed_ptr_01-bad
- loop_test
- loop_test.c
- loop_test.gzf
- Makefile
- atm
- atm.c
- atm2.c
- libatm2.so
- Makefile
- onion_test
- onion_test.yml
- Info.plist
- Makefile
- onion_test
- onion_test.c
- onion_test_aarch64
- libplt_thunk.so
- Makefile
- plt_thunk.c
- Makefile
- shim_libc.c
- shim_libc.so
- shim_libc.so.bndb
- shim_main
- shim_main.bndb
- shim_main.c
- Makefile
- thunk.c
- ghidra.jar
- pcode-helper.jar
- primspec.toml
- Matcher.hs
- Patterns.hs
- PatternStore.hs
- DangerScan.hs
- Query.hs
- Summary.hs
- Combinators.hs
- PrimSpec.hs
- StdLib.hs
- Library.hs
- Patterns.hs
- Primitives.hs
- Stub.hs
- Taint.hs
- Matcher.hs
- LibC.hs
- References.hs
- Uefi.hs
- Path.hs
- Store.hs
- Analyze.hs
- CAst.hs
- Dataflow.hs
- Decomp.hs
- DumpLift.hs
- Functions.hs
- GlobalXrefs.hs
- Input.hs
- Inspect.hs
- Paths.hs
- PrimDef.hs
- Psum.hs
- Solver.hs
- StdLib.hs
- Strings.hs
- Taint.hs
- TypeCheck.hs
- WMI.hs
- Xrefs.hs
- Command.hs
- Repl.hs
- Types.hs
- Finding.hs
- Matcher.hs
- Func.hs
- PathPrep.hs
- Primitives.hs
- Matcher.hs
- Dataflow.hs
- Store.hs
- Analysis.hs
- CachedCalc.hs
- CachedMap.hs
- CallGraph.hs
- Cfg.hs
- PersistentCalc.hs
- Query.hs
- Symbol.hs
- Analysis.hs
- App.hs
- Cfg.hs
- Graph.hs
- Prelude.hs
- Query.hs
- SMTish.hs
- Util.hs
- IntegrationSpec.hs
- MatcherSpec.hs
- SummarySpec.hs
- CombinatorsSpec.hs
- LibrarySpec.hs
- PrimitivesSpec.hs
- StubSpec.hs
- MatcherSpec.hs
- PathSpec.hs
- DbSpec.hs
- PathsSpec.hs
- PsumSpec.hs
- TypesSpec.hs
- CfgSpec.hs
- GraphSpec.hs
- QuerySpec.hs
- SMTishSpec.hs
- UtilSpec.hs
- Primitives.hs
- Spec.hs
- .mcp.json
- ChangeLog.md
- FlintShellAgentGuide.md
- Justfile
- LICENSE
- out
- package.yaml
- README.md
- report.html
- stack.yaml
- Main.hs
- PcodeHelper.java
- a1
- a1.c
- a1.gzf
- a1.out
- datatypes.c
- datatypes.gzf
- decomp-test-stripped
- decomp-test-stripped.gzf
- decomp-test-with-syms
- decomp-test.c
- decomp-test2.gzf
- decomp-test3.gzf
- decomp-test4.gzf
- decomp-test5.gzf
- loop-test.c
- loop-test.gzf
- mail-binary
- mail-binary.gzf
- Dive_Logger
- Dive_Logger.gzf
- lots_of_params
- getGhidraJar.sh
- Lifted.hs
- Address.hs
- BasicBlock.hs
- Function.hs
- GhidraDataTypes.hs
- Internal.hs
- Pcode.hs
- PcodeBlock.hs
- Register.hs
- Variable.hs
- Address.hs
- BasicBlock.hs
- Clang.hs
- Core.hs
- ExternalLocation.hs
- Function.hs
- GhidraDataTypes.hs
- Inspect.hs
- Instruction.hs
- Pcode.hs
- PcodeBlock.hs
- Prelude.hs
- Program.hs
- Reference.hs
- Register.hs
- State.hs
- Symbol.hs
- Types.hs
- Util.hs
- Variable.hs
- AddressSpec.hs
- BasicBlockSpec.hs
- ClangCAstSpec.hs
- ClangDecompSpec.hs
- CoreSpec.hs
- FunctionSpec.hs
- GhidraDataTypeSpec.hs
- InstructionSpec.hs
- PcodeBlockSpec.hs
- PcodeSpec.hs
- ProgramSpec.hs
- ReferenceSpec.hs
- StateSpec.hs
- Main.hs
- Spec.hs
- .gitignore
- ChangeLog.md
- LICENSE
- Makefile
- package.yaml
- README.md
- stack.yaml
- Dive_Logger
- Dive_Logger.bndb
- Dive_Logger.gzf
- Dungeon_Master
- Dungeon_Master.bndb
- CWE416_Use_After_Free__return_freed_ptr_01-bad
- CWE416_Use_After_Free__return_freed_ptr_01.c
- libplt_thunk.so
- Makefile
- plt_thunk.c
- ghidra.jar
- .dockerignore
- .gitignore
- .gitlab-ci.yml
- .hlint.yaml
- cabal.project
- CHANGELOG.md
- DevelopersGuide.md
- docker-compose.yaml
- Dockerfile
- Dockerfile.binja
- fourmolu.yaml
- hie.yaml
- install_notes.txt
- Justfile
- lts-22.11.cabal.config
- Makefile
- README.md
- stack.yaml
- stack.yaml.binja
- update
- UsageExamples.md
# 설치 가이드
1. 코드 내려받기
git clone https://github.com/kudu-dynamics/blaze-platform
깃허브에서 프로젝트 코드 전체를 내 컴퓨터로 내려받습니다.
cd blaze-platform
방금 내려받은 프로젝트 폴더 안으로 이동합니다.
2. Docker
쉬움 추천사전 준비물
- Git GitHub에서 프로젝트 코드를 내려받으려면 필요합니다.
- Docker Desktop 컨테이너를 빌드하고 실행하려면 필요합니다. 설치 후 실행해서 백그라운드에 켜두세요.
docker run --rm -v /your/local/path/:/whatever:ro blaze /out/bin/flint --doNotUseSolver /whatever/somebinary
빌드된 이미지를 실제 컨테이너로 실행합니다.
docker run --rm -v /your/local/path/:/whatever:ro blaze /out/bin/flint_classic --doNotUseSolver /whatever/somebinary
빌드된 이미지를 실제 컨테이너로 실행합니다.
터미널에 docker compose ps 를 입력해 컨테이너들이 Up 상태인지 확인하세요. README에 포트 번호가 적혀있다면 브라우저에서 http://localhost:포트번호 로 접속해보세요.
이 레포의 README에 적힌 실제 명령어를 그대로 가져왔습니다.
3. Make
보통사전 준비물
- Git GitHub에서 프로젝트 코드를 내려받으려면 필요합니다.
- Make Linux/macOS는 보통 기본 설치되어 있습니다. Windows는 별도 설치(예: MSYS2, WSL)가 필요합니다.
make
생성된 빌드 설정을 바탕으로 실제 컴파일을 진행해 실행 파일을 만듭니다.
에러 없이 끝나면 성공입니다. 생성된 실행 파일을 직접 실행해보세요.
// repository documentation
Was this content helpful?
(0 ratings)