Method is_valid_ptr

src/FactPointTo.cpp:434–442

* return true if ptr is either null nore dangling in the given context * tell the analyzer sometimes it's ok to dereference null/dead pointers */

 * tell the analyzer sometimes it's ok to dereference null/dead pointers
 */
bool
FactPointTo::is_valid_ptr(const Variable* p, const std::vector<const Fact*>& facts)
{
	FactPointTo fp(p);
	const FactPointTo* fact = (const FactPointTo*)find_related_fact(facts, &fp);
	return fact &&
		(CGOptions::null_pointer_dereference_prob() > 0 || !fact->is_null()) &&
		(CGOptions::dead_pointer_dereference_prob() > 0 || !fact->is_dead());
}

/*
 * return true if ptr is either null nore dangling in the given context