Joonyoung wrote:
Do you have any hints or new approaches??
The structure of C and C++ makes it hard to approach at least function argument possibilities in a static manner, as a file is not necessarily a closed system in terms of reachability of functions.
The ESP framework, AIUI, is your best shot at being able to look at the information. The question of truly accurate possible value tuples is undecidable; a superset of possible values is probably achievable, which is what I think ESP is capable of giving.
_______________________________________________ dev-static-analysis mailing list [email protected] https://lists.mozilla.org/listinfo/dev-static-analysis
