Hi,
We are now proceeding with the Static approach for finding critical section and hence we are parsing C source code.
We have tokenized it using Lex and separated the tables of Global variables, local variables, user defined functions, etc.
And also we have defined some test cases for parsing C code and handling Thread synchronization. You can get details of code and test cases from below link:
https://github.com/mj-jadhav/critical-section-detection
Lex code is able to to extract the entries of global,local variable and user defined functions. And now we are working on handling the entries of pthread and semaphores.
Please remark on given details and we will be meeting on Saturday. So please let us know the time and place of meeting.
--
Regards,
Mayur