Devel needs to consolidate the important features that have been developed for specific projects, and currently reside in different branches:

General

• json/yaml serialisation for important information, e.g., which allocs are filtered or instrumented with detailed source level information (see sc20)

Runtime

1. Extended AccessRecorder for more detailed tracking (see tycart, sc20)
2. Support AllocInfo, which replaces the return address built-in (__builtin_return_address) to find allocation location in a code (see sc20)

MemInstFinderPass

1. Support user-selectable filter implementations (see sc20)
2. Support CG-Filter (see sc20)

MemOpVisitor

1. Support InvokeInst for the various (heap) allocation functions (see tycart)