{'fraction_non_alphanumeric': 0.01675977653631285, 'fraction_numerical': 0.0, 'mean_word_length': 5.113636363636363, 'pattern_counts': {'":': 0, '<': 0, '<?xml version=': 0, '>': 0, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
Precise Fixed Point Based Analysis of Programs with Thread-Creation

This paper presents an efficient, fixed point based algorithm for precise kill/gen analysis of interprocedural flow graphs with thread creation. The main idea of the algorithm is to separate a path reaching a control node into those steps required to reach the node and interfering steps, that are executed concurrently. These two parts are analyzed separately and combined afterwards. Exploiting the structure of kill/gen analysis we can show soundness and precision.