Python forwardTraceContainsBlock示例

示例#1

文件： nonTypedBlocks.py 项目： shehbazj/fslice

def getTypeInfo():
        print "Initializing Data Structures"
        typedBlocks = []
        nonTypedBlocks = []
	(taintBlockMap,blockTaintDictionary,taintOffsetToBlock) = initDataStructures()
	for taint in taintBlockMap:
		isNonTypedBlock=True
		block=taintBlockMap[taint]
		if forwardTraceContainsBlock(taint, traceFile ) is False: # not Typed
			if list(set(blockTaintDictionary[block]) & set(typedBlockTaintList)) == []:
				#print "Non Typed Block",block # Non Typed Block
				nonTypedBlocks.append(block)
			else:	
				#print "Typed Block", block, taint
				typedBlocks.append(block)
				typedBlockTaintList.append(taint)
				while block in nonTypedBlocks:
					nonTypedBlocks.remove(block)
		else:
	#		print "FWD trace from ",taint,block," leading to another block"
			typedBlocks.append(block)
			typedBlockTaintList.append(taint)
			while block in nonTypedBlocks:
				nonTypedBlocks.remove(block)
	return (list(sorted(set(typedBlocks))), list(sorted(set(nonTypedBlocks))), taintBlockMap)

示例#2

文件： nonTypedBlocks.py 项目： samstack6/fslice

def getTypeInfo():
    print "Initializing Data Structures"
    typedBlocks = []
    nonTypedBlocks = []
    (taintBlockMap, blockTaintDictionary,
     taintOffsetToBlock) = initDataStructures()
    for taint in taintBlockMap:
        isNonTypedBlock = True
        block = taintBlockMap[taint]
        if forwardTraceContainsBlock(taint, traceFile) is False:  # not Typed
            if list(
                    set(blockTaintDictionary[block])
                    & set(typedBlockTaintList)) == []:
                #print "Non Typed Block",block # Non Typed Block
                nonTypedBlocks.append(block)
            else:
                #print "Typed Block", block, taint
                typedBlocks.append(block)
                typedBlockTaintList.append(taint)
                while block in nonTypedBlocks:
                    nonTypedBlocks.remove(block)
        else:
            #		print "FWD trace from ",taint,block," leading to another block"
            typedBlocks.append(block)
            typedBlockTaintList.append(taint)
            while block in nonTypedBlocks:
                nonTypedBlocks.remove(block)
    return (list(sorted(set(typedBlocks))), list(sorted(set(nonTypedBlocks))),
            taintBlockMap)

示例#3

文件： nonTypedBlocks_prev.py 项目： shehbazj/fslice

def getTypeInfo(taintBlockMap,blockTaintDictionary):
    for taint in taintBlockMap:
        block=taintBlockMap[taint]
        if forwardTraceContainsBlock(taint,'/tmp/testfs.py') is False: # not Typed
            if list(set(blockTaintDictionary[block]) & set(typedBlockTaintList)) == []:
                nonTypedBlocks.append(block)
            else:   
                typedBlocks.append(block)
                typedBlockTaintList.append(taint)
                while block in nonTypedBlocks:
                    nonTypedBlocks.remove(block)
        else:
            typedBlocks.append(block)
            typedBlockTaintList.append(taint)
            while block in nonTypedBlocks:
                nonTypedBlocks.remove(block)
    return (typedBlocks,nonTypedBlocks) 

示例#4

def getTypeInfo(taintBlockMap, blockTaintDictionary):
    for taint in taintBlockMap:
        block = taintBlockMap[taint]
        if forwardTraceContainsBlock(taint,
                                     '/tmp/testfs.py') is False:  # not Typed
            if list(
                    set(blockTaintDictionary[block])
                    & set(typedBlockTaintList)) == []:
                nonTypedBlocks.append(block)
            else:
                typedBlocks.append(block)
                typedBlockTaintList.append(taint)
                while block in nonTypedBlocks:
                    nonTypedBlocks.remove(block)
        else:
            typedBlocks.append(block)
            typedBlockTaintList.append(taint)
            while block in nonTypedBlocks:
                nonTypedBlocks.remove(block)
    return (typedBlocks, nonTypedBlocks)

示例#5

文件： nonTypedBlocks_back.py 项目： shehbazj/fslice

def getTypeInfo(taintBlockMap,blockTaintDictionary):
	for taint in taintBlockMap:
		isNonTypedBlock=True
		block=taintBlockMap[taint]
		if forwardTraceContainsBlock(taint,'/tmp/testfs.py') is False: # not Typed
		#if forwardTraceReferencesSubelements(taint,'/tmp/testfs.py') is False: # not Typed
			if list(set(blockTaintDictionary[block]) & set(typedBlockTaintList)) == []:
				#print "Non Typed Block",block # Non Typed Block
				nonTypedBlocks.append(block)
			else:	
				#print "Typed Block", block, taint
				typedBlocks.append(block)
				typedBlockTaintList.append(taint)
				while block in nonTypedBlocks:
					nonTypedBlocks.remove(block)
		else:
			typedBlocks.append(block)
			typedBlockTaintList.append(taint)
			while block in nonTypedBlocks:
				nonTypedBlocks.remove(block)
	return (typedBlocks,nonTypedBlocks)	

示例#6

文件： nonTypedBlocks_back.py 项目： samstack6/fslice

def getTypeInfo(taintBlockMap, blockTaintDictionary):
    for taint in taintBlockMap:
        isNonTypedBlock = True
        block = taintBlockMap[taint]
        if forwardTraceContainsBlock(taint,
                                     '/tmp/testfs.py') is False:  # not Typed
            #if forwardTraceReferencesSubelements(taint,'/tmp/testfs.py') is False: # not Typed
            if list(
                    set(blockTaintDictionary[block])
                    & set(typedBlockTaintList)) == []:
                #print "Non Typed Block",block # Non Typed Block
                nonTypedBlocks.append(block)
            else:
                #print "Typed Block", block, taint
                typedBlocks.append(block)
                typedBlockTaintList.append(taint)
                while block in nonTypedBlocks:
                    nonTypedBlocks.remove(block)
        else:
            typedBlocks.append(block)
            typedBlockTaintList.append(taint)
            while block in nonTypedBlocks:
                nonTypedBlocks.remove(block)
    return (typedBlocks, nonTypedBlocks)