How to use simplify_constraints method in avocado

Best Python code snippet using avocado_python

test_solver.py

Source:test_solver.py

...66        solver = Solver([], [])67        solver.data = parameters68        solver.constraints = constraints69        solver.read_constraints()70        solver.simplify_constraints()71        self.assertEqual(solver.constraints, constraints, "simplify_constraints deleted some important constraints")72    def test_simplify_constraints_constraints_with_simplification(self):73        """74        Test that, function do not delete important constraints75        """76        parameters = [3, 3, 3, 3]77        constraints = {((0, 0), (2, 0)), ((0, 1), (2, 0), (1, 1)),78                       ((0, 2), (2, 0)), ((2, 0),)}79        solver = Solver([], [])80        solver.data = parameters81        solver.constraints = constraints82        solver.read_constraints()83        solver.simplify_constraints()84        expectation = {((2, 0),)}85        self.assertEqual(solver.constraints, expectation, "simplify_constraints deleted some important constraints")86    # Test of Minimum forbidden tuple algorithm87    def test_solver_without_secrete_constraints(self):88        """89        Test that, solver didn't change constraints if there isn't any secret constraint90        """91        parameters = [3, 3, 3]92        constraints = {((0, 0), (2, 0)), ((0, 1), (1, 1)), ((1, 0), (2, 0))}93        solver = Solver(parameters, constraints)94        self.assertEqual(solver.constraints, constraints, "solver change constraints without secret "95                                                          "constraint")96    def test_solver_constraints_without_simplification(self):97        """...

angr_tgt.py

Source:angr_tgt.py

1#!/usr/bin/env python2import angr, claripy3import IPython4import logging, sys5from angr.block import CapstoneInsn6l = logging.getLogger("angr")7# silence some annoying logs8l.setLevel("WARNING")9def getFuncAddress(cfg, funcName, plt=None ):10    found = [11        addr for addr,func in cfg.kb.functions.items()12        if funcName == func.name and (plt is None or func.is_plt == plt)13    ]14    if len( found ) > 0:15        l.info("Found "+funcName+"'s address at "+hex(found[0])+"!")16        return found[0]17    else:18        raise Exception("No address found for function : "+funcName)19def getRetAddr(proj, fn):20    # let's disasm with capstone to search targets21    insn_bytes = proj.loader.memory.load(fn, 1000)22    for cs_insn in proj.arch.capstone.disasm(insn_bytes, fn):23        ins = CapstoneInsn(cs_insn)24        if ins.mnemonic == "ret":25            l.info(f"Found lfsr's return address at 0x{ins.address:x}!")26            return ins.address27    raise ValueError("failed to find ret op in {fn}")28def main(binary):29    proj = angr.project.Project(binary, use_sim_procedures=False, load_options={'auto_load_libs':False})30    cfg = proj.analyses.CFG(fail_fast=True)31    l.info("created CFG")32    tgtfn = getFuncAddress(cfg, 'init_state')33    final_addr = getRetAddr(proj, tgtfn)34    key = claripy.BVS("key",16*8)35    lfsr_state = claripy.BVS("lfsr_state",16*8)36    state = proj.factory.blank_state(addr=tgtfn)37    state.options |= { angr.sim_options.LAZY_SOLVES,38                       angr.sim_options.SIMPLIFY_CONSTRAINTS,39                       angr.sim_options.CONSTRAINT_TRACKING_IN_SOLVER,40                       angr.sim_options.ZERO_FILL_UNCONSTRAINED_MEMORY,41                       angr.sim_options.ZERO_FILL_UNCONSTRAINED_REGISTERS}42    state.regs.rax = 043    state.regs.rbx = 044    state.regs.rbp = 045    state.regs.r12 = 046    state.regs.r13 = 047    state.regs.r14 = 048    state.regs.r15 = 049    state.regs.ftop = 050    # key is symbolic51    for byte in key.chop(8):52        state.add_constraints(byte < 16)53        state.add_constraints(byte >= 0)54    state.regs.rdi = state.solver.BVV(0xd000000, 128)55    state.memory.store(0xd000000,key)56    state.regs.rsi = state.solver.BVV(0xd000010, 128)57    state.memory.store(0xd000010,lfsr_state)58    state.solver.simplify()59    simgr = proj.factory.simulation_manager(state, veritesting=True)60    simgr.explore(find=final_addr)61    s= simgr.found[0].copy()62    s.solver.simplify(s.memory.load(0xd000010, 16))63    print("init_lfsr -> lfsr_state:", s.memory.load(0xd000010, 16))64    tgtfn = getFuncAddress(cfg, 'lfsr')65    final_addr = getRetAddr(proj, tgtfn)66    state = proj.factory.blank_state(addr=tgtfn)67    # input_key is symbolic, and 1st and only param to the tgt fn68    lfsr_state = claripy.BVS("lfsr_state",16*8)69    lfsr_newstate = claripy.BVS("lfsr_newstate",16*8)70    state.regs.rdi = state.solver.BVV(0xd000000, 128)71    state.memory.store(0xd000000,lfsr_state)72    state.regs.rsi = state.solver.BVV(0xd000010, 128)73    state.memory.store(0xd000010,lfsr_newstate)74    state.options |= { angr.sim_options.LAZY_SOLVES,75                       angr.sim_options.SIMPLIFY_CONSTRAINTS,76                       angr.sim_options.CONSTRAINT_TRACKING_IN_SOLVER,77                       angr.sim_options.ZERO_FILL_UNCONSTRAINED_MEMORY,78                       angr.sim_options.ZERO_FILL_UNCONSTRAINED_REGISTERS}79    state.regs.rax = 080    state.regs.rbx = 081    state.regs.rbp = 082    state.regs.r12 = 083    state.regs.r13 = 084    state.regs.r14 = 085    state.regs.r15 = 086    state.regs.ftop = 087    simgr = proj.factory.simulation_manager(state, veritesting=True)88    simgr.explore(find=final_addr)89    s= simgr.found[0].copy()90    s.solver.simplify(s.memory.load(0xd000010, 16))91    print("lfsr -> next state:", s.memory.load(0xd000010, 16))92    tgtfn = getFuncAddress(cfg, 'extract_lfsr')93    final_addr = getRetAddr(proj, tgtfn)94    state = proj.factory.blank_state(addr=tgtfn)95    # input_key is symbolic, and 1st and only param to the tgt fn96    lfsr_state = claripy.BVS("lfsr_state",16*8)97    state.regs.rdi = state.solver.BVV(0xd000000, 128)98    state.memory.store(0xd000000,lfsr_state)99    state.options |= { angr.sim_options.LAZY_SOLVES,100                       angr.sim_options.SIMPLIFY_CONSTRAINTS,101                       angr.sim_options.CONSTRAINT_TRACKING_IN_SOLVER,102                       angr.sim_options.ZERO_FILL_UNCONSTRAINED_MEMORY,103                       angr.sim_options.ZERO_FILL_UNCONSTRAINED_REGISTERS}104    state.options -= {angr.sim_options.COMPOSITE_SOLVER}105    state.regs.rax = 0106    state.regs.rbx = 0107    state.regs.rbp = 0108    state.regs.r12 = 0109    state.regs.r13 = 0110    state.regs.r14 = 0111    state.regs.r15 = 0112    state.regs.ftop = 0113    simgr = proj.factory.simulation_manager(state, veritesting=True)114    simgr.explore(find=final_addr)115    s= simgr.found[0].copy()116    s.solver.simplify(s.regs.rax)117    print("lfsr_out:", s.regs.rax)118    #IPython.embed()119if __name__ == '__main__':...

Automation Testing Tutorials

Learn to execute automation testing from scratch with LambdaTest Learning Hub. Right from setting up the prerequisites to run your first automation test, to following best practices and diving deeper into advanced test scenarios. LambdaTest Learning Hubs compile a list of step-by-step guides to help you be proficient with different test automation frameworks i.e. Selenium, Cypress, TestNG etc.