1.06k likes | 1.07k Views
Get assistance in fixing bugs in your code with this helpful assistant that provides suggestions and solutions. Coding made easier!
E N D
– – – – –
- - - - - -
- - - - - - - - - - - -
- - - - - - - - - - - -
– – – –
- - -
- -
- - - - -
x =input() if x >=10: if x <100: bug() else: print "Youlose!" else: print "Youlose!" 593⇒ "You lose!" 183⇒ "You lose!" 4⇒ "Youlose!" 498⇒ "You lose!" 42⇒ CRASH 1⇒ "Youlose!"
x =input() if x >=10: if x*200+15 ==267415: bug() else: print "Youlose!" else: print "Youlose!" 593⇒"You lose!" 183⇒ "You lose!" 4⇒ "Youlose!" 498⇒"You lose!" 42⇒ "Youlose!" 3⇒ "Youlose!" ………. 57⇒ "Youlose!" 1⇒ "Youlose!"
- - - - -
x =input() if x >=10: if x*200+15 ==267415: bug() else: print "Youlose!" else: print "Youlose!" x <10 x >=10 ??? x >=10 x*200+15 ==267415 x >=10 x*200+15 !=267415
x =input() if x >=10: if x*200+15 ==267415: bug() else: print "Youlose!" else: print "Youlose!" x <10 x >=10 ??? x >=10 x*200+15 ==267415 x >=10 x*200+15 !=267415 1337
- - - - -
- - - - - - - - - - - -
– – – – – – –
BinaryLoader Intermediate Representation DataModel Abstraction ProgramAnalysis Core
BinaryLoader Intermediate Representation DataModel Abstraction ProgramAnalysis Core
BinaryLoader Intermediate Representation DataModel Abstraction ProgramAnalysis Core
libVEX x86 AMD64 ARM ARM64 MIPS MIPS64 PPC PPC64
libTCG x86 AMD64 ALPHA CRIS ARM ARM64 68K HPPA MIPS MIPS64 SPARC SH4 PPC PPC64 Unicore32 S390x xTENSA tileGx
BinaryLoader Intermediate Representation DataModel Abstraction ProgramAnalysis Core
(1+2) (𝜋+φ) 2[10..20]
BinaryLoader Intermediate Representation DataModel Abstraction ProgramAnalysis Core
Registers • Memory • Files • OSstate
BinaryLoader Intermediate Representation DataModel Abstraction ProgramAnalysis Core (1+2) (𝜋+φ) 2[10..20] x86 AMD64 ARM ARM64 MIPS MIPS64 PPC PPC64
- - - -
- - - - - - - - - - - -
- - - - - - - - - - - -
- - - -
– – – – – – – – state.set_mode(“symbolic”) state.set_mode(“static”) state.set_mode(“fastpath”)
– simuvex/s_options.py – –
- - - - - - - - - - - -
- - - - - - - ./setup.sh -i -eangr
- - - - - - - - - - - -
Target program(angr.Project) • Analyses(project.analyses) • - CFG, VFG,BackwardSlice • KnowledgeBase (project.kb) • Functions(project.kb.functions) • Blocks(project.factory.block) • PathGroups(project.factory.path_group) • Paths(path_group.active[0]) angr cle - Loaded binary(project.loader) • SimState(path.state) • SimState Plugins(state.memory, • state.registers) simuvex • Constraint Solver(state.solver) • ASTs(state.registers.rax) claripy