code: def verify(self, gadget):
          
          # Add instructions to the analyzer
          self.analyzer.reset()
  
          for reil_instr in gadget.ir_instrs:
              self.analyzer.add_instruction(reil_instr)
  
          # Generate constraints for the gadgets type.
          constrs = self._constraints_generators[gadget.type](gadget)
  
          # Check constraints.
          if not constrs:
              return False
  
          for constr in constrs:
              self.analyzer.add_constraint(constr)
  
          return self.analyzer.check() == 'unsat'
docs: Verify gadgets.