Instrumenting Erlang code

[Kostis Sagonas]

On 1/26/20 1:58 PM, Frank Muller wrote:
> @Kostis: does Concuerror (https://github.com/parapluu/Concuerror) use 
> this technique?

Concuerror is an open-source project and its source files have, for the 
most part, pretty descriptive names:

 
https://github.com/parapluu/Concuerror/blob/master/src/concuerror_instrumenter.erl

As you can see, Concuerror does not do its transformation at the source 
level but at the level of Core Erlang instead.  The instrumentation code 
is not so involved either.

Hope this helps,
Kostis