At high speed for parallel program competitive method of detection of accurate static data

摘要

The system and the method of forming competition warning for computer program certification include the fact that context sensitiveness point two gathering of the lock pointer is decided by observing to the pointer which has the possibility of exerting influence on alias of thing and the lock pointer which decide joint ownership variable and utilizing summary function. Lock set, using point two gathering of the lock pointer, is decided at the position where joint ownership variable is accessed. Warning the element has been based on lock set mutually.