Hello, A few scripts demonstrate that it can be possible by the means of the semantic patch language to determine if a resource identification will not escape from a scope in an analysed function. I am still curious on how the clarification on corresponding implementation details will evolve further. How are the chances to extend this source code search pattern for more function combinations?
* In which data formats should lists of resource allocation and consuming functions be recorded together with the required resource release function? * Would you like to collaborate with customised databases for this purpose? * How do you think about to avoid duplication also of SmPL code any more? Regards, Markus _______________________________________________ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci