User Tools

Site Tools


concurrency-aware_static_analysis

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
concurrency-aware_static_analysis [2015/08/12 17:33]
bjowac
concurrency-aware_static_analysis [2015/08/12 17:35] (current)
bjowac
Line 14: Line 14:
  
 The functionality can be invoked on the command line as follows: The functionality can be invoked on the command line as follows:
 +
 +* the basic thread-aware points-to analysis:
  
    ​goto-instrument --show-value-sets    ​goto-instrument --show-value-sets
 +
 +* the lock-set analysis:
  
    ​goto-instrument --show-lock-sets    ​goto-instrument --show-lock-sets
 +
 +* the data-race analysis based on lock sets
 +
 +   ​goto-instrument --show-sharing
 +
 +* pointer checks (null dereference etc)
  
    ​goto-instrument --pointer-check --static-pointer-check    ​goto-instrument --pointer-check --static-pointer-check
concurrency-aware_static_analysis.txt ยท Last modified: 2015/08/12 17:35 by bjowac