Panopticon is libre software. You can improve it and use it as basis for your own research on program analysis.