cloud9_root/src/cloud9/lib/Core/CacheSideChannel.cpp
// dump cache constraints into a file
dump cache constraints into a file
dump cache constraints into a file
void CacheChannel::printCacheConstraints(ExecutionState& state) {
	printf("\n\n");
	printf("printing cache constraints....\n\n");
	ConstraintManager cm = state.constraints();
	printer.setOutput(llvm::errs());
#if 0
	for (ConstraintManager::constraint_iterator ci = cm.begin(); ci != cm.end(); ci++) {
			std::string Str("cache.smt");
			llvm::raw_string_ostream cacheInfo(Str);
			printer.printMemoryExpression(*ci);
		cm.addConstraint(*ci);
	}
#endif
	Query query(cm, ConstantExpr::alloc(0, Expr::Bool));
	printer.setQuery(query);
	printer.generateOutput();
}
void CacheChannel :: printCacheConstraints ( ExecutionState & state ) { printf ( " \n \n " ) ; printf ( " \n \n " ) ; ConstraintManager cm = state . constraints ( ) ; #if 0 for ( ConstraintManager :: constraint_iterator ci = cm . begin ( ) ; ci != cm . end ( ) ; ci ++ ) { cm . addConstraint ( * ci ) ; } #endif Query query ( cm , ConstantExpr :: alloc ( 0 , Expr :: Bool ) ) ; }
dump cache constraints into a file
dump cache constraints into a file
//	ExprSMTLIBPrinter printer; // //	printer.setOutput(llvm::errs()); //	std::string Str("cache.smt"); //	llvm::raw_string_ostream cacheInfo(Str); //	printer.printMemoryExpression(*ci); //	printer.setQuery(query); //	printer.generateOutput();