Scott Moore

This is not currently configurable, though it ought to be. As a quick hack, you could modify [this line](https://github.com/GaloisInc/cclyzerpp/blob/1a64af9ffe1cf6729614ead76157dfb46828cef9/datalog/callgraph/entry-points.dl#L18) to use the name of your entry point. The right solution...

> This is not currently configurable, though it ought to be. As a quick hack, you could modify [this line](https://github.com/GaloisInc/cclyzerpp/blob/1a64af9ffe1cf6729614ead76157dfb46828cef9/datalog/callgraph/entry-points.dl#L18) to use the name of your entry point. > >...