{ "item_title" : "Toward the Static Detection of Deadlock in Java Software", "item_author" : [" Jose E. Fadul "], "item_description" : "Concurrency is the source of many real-world software reliability and security problems. Concurrency defects are difficult to detect because they defy conventional software testing techniques due to their non-local and non-deterministic nature. We focus on one important aspect of this problem: static detection of the possibility of deadlock--a situation in which two or more processes are prevented from continuing while each waits for resources to be freed by the continuation of the other. This thesis proposes a flow-insensitive interprocedural static analysis that detects the possibility that a program can deadlock at runtime. Our analysis proceeds in two steps. The first extracts the real call graph decorated with acquired locks from the target program.", "item_img_path" : "https://covers3.booksamillion.com/covers/bam/1/28/833/520/1288335202_b.jpg", "price_data" : { "retail_price" : "17.95", "online_price" : "17.95", "our_price" : "17.95", "club_price" : "17.95", "savings_pct" : "0", "savings_amt" : "0.00", "club_savings_pct" : "0", "club_savings_amt" : "0.00", "discount_pct" : "10", "store_price" : "" } }

Overview

Customers Also Bought

Details