analysis-framework

When jimplifying com.reddit.frontpage-214190.apk(Reddit v. 2.26.2), the following exception is thrown:

Exception in thread "main" Unexpected type null
	at soot.jimple.toolkits.typing.integer.ClassHierarchy.typeNode(ClassHierarchy.java:152)
	at soot.jimple.toolkits.typing.integer.TypeResolver.typeVariable(TypeResolver.java:121)
	at soot.jimple.toolkits.typing.integer.ConstraintCollecto

There are many instances of INSTR_CREATE macro documentation saying things like this:

* \param dc  The void * dcontext used to allocate memory for the instr_t.

That should have a # to link up the instr_t type.

Is your feature request related to a problem? Please describe.
Currently it is difficult to keep track of which tests are present and which should be implemented.
Describe the solution you'd like

• Given that it is a C++ project, it makes sense to use lcov

Background:

• Found in: 2.9.0

To do:

• After Clear() operation has completed, count flagged records & update the status bar with the new value.