The use of likely invariants as feedback for fuzzers