Re: [Cocci] Reporting variations of condition checks according to function calls

2020-04-11 Thread Markus Elfring
>> I hope that another clarification can be achieved also for the software >> behaviour of the following source code analysis approach. > > I don't run code that involves databases. I find the handling of higher level data storage relevant and useful also for such a software test. > If you belie

Re: [Cocci] Reporting variations of condition checks according to function calls

2020-04-11 Thread Markus Elfring
> If you want something done, please do it yourself. I hope that another clarification can be achieved also for the software behaviour of the following source code analysis approach. @initialize:python@ @@ import sqlalchemy, sys sys.stderr.write("\n".join(["Using SQLAlchemy version:",

Re: [Cocci] Reporting variations of condition checks according to function calls

2020-04-11 Thread Markus Elfring
>> Would you like to display statistics around the distribution of condition >> checks after function calls (with help of the semantic patch language)? > > I'm working on other things. Thanks for your feedback. > If you want something done, please do it yourself. I assumed that you (or other co

Re: [Cocci] Reporting variations of condition checks according to function calls

2020-04-11 Thread Julia Lawall
On Sat, 11 Apr 2020, Markus Elfring wrote: > > Maybe you can just take inspiration from this paper: > > > > https://pages.lip6.fr/Julia.Lawall/dsn09.pdf > > I got another idea which can be related to information from the section > “Case Study: Inconsistent Error Checks” in your document “WYSIWIB

Re: [Cocci] Reporting variations of condition checks according to function calls

2020-04-11 Thread Markus Elfring
> Maybe you can just take inspiration from this paper: > > https://pages.lip6.fr/Julia.Lawall/dsn09.pdf I got another idea which can be related to information from the section “Case Study: Inconsistent Error Checks” in your document “WYSIWIB: A Declarative Approach to Finding API Protocols and Bug