Examples of loopCounter()

Examples of org.jakstab.ssl.Architecture.loopCounter()

518
519
520
521
522
523
524
525
526
527
528
        Architecture arch = Program.getProgram().getArchitecture();
        /////////
        // Special case for non-exit edges of x86 REP/REPNZ prefixes (for loops using ecx)
        if (stmt.getSource().getType() == RTLGoto.Type.STRING_LENGTH_CHECK) {
          BasedNumberElement loopCounter = getValue(arch.loopCounter());
          if (loopCounter.isTop() || loopCounter.isNumberTop()) {
            X86Instruction instr = (X86Instruction)Program.getProgram().getInstruction(stmt.getAddress());
            BasedNumberValuation post = copyThisState();
            if (instr.hasEsiBasedMemorySource()) {
              logger.debug(stmt.getLabel() + ": ecx is unknown in REP/REPNZ, widening esi");
View Full Code Here

Examples of org.jakstab.ssl.Architecture.loopCounter()

537
538
539
540
541
542
543
544
545
546
547
                  NumberElement.getTop(arch.getAddressBitWidth())));
            }
            // STRING_LENGTH_CHECK assumptions are ecx == 0 or !(ecx == 0)
            RTLOperation operation = (RTLOperation)stmt.getAssumption();
            if (operation.getOperator() == Operator.EQUAL) {
              assert operation.getOperands()[0] == arch.loopCounter();
              assert ((RTLNumber)operation.getOperands()[1]).longValue() == 0;
              post.setValue(arch.loopCounter(), abstractEval(operation.getOperands()[1]));
            }
           
            return Collections.singleton((AbstractState)post);
View Full Code Here

Examples of org.jakstab.ssl.Architecture.loopCounter()

539
540
541
542
543
544
545
546
547
548
549
            // STRING_LENGTH_CHECK assumptions are ecx == 0 or !(ecx == 0)
            RTLOperation operation = (RTLOperation)stmt.getAssumption();
            if (operation.getOperator() == Operator.EQUAL) {
              assert operation.getOperands()[0] == arch.loopCounter();
              assert ((RTLNumber)operation.getOperands()[1]).longValue() == 0;
              post.setValue(arch.loopCounter(), abstractEval(operation.getOperands()[1]));
            }
           
            return Collections.singleton((AbstractState)post);
          }
        }
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. All rights reserved.
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.