No specialization of internal functions?

SRI-CSL / OCCAM

OCCAM: Object Culling and Concretization for Assurance Maximization

BSD 3-Clause "New" or "Revised" License

26 stars 10 forks source link

No specialization of internal functions? #16

Closed caballa closed 5 years ago

caballa commented 5 years ago

It seems that OCCAM doesn't specialize a function call if the function is defined in the same module that the call. This is done in src/StrategySpecializer.cpp at line 123.

We should have at least a flag to allow users to decide.

ianamason commented 5 years ago

Can never have enough flags.

caballa commented 5 years ago

OCCAM has new flags to choose whether enabling or not specialization of both inter-module and intra-module callsites. The user can also choose the kind of specialization policy.