Matches in SemOpenAlex for { <https://semopenalex.org/work/W4366452143> ?p ?o ?g. }
- W4366452143 endingPage "219" @default.
- W4366452143 startingPage "195" @default.
- W4366452143 abstract "Abstract Ranged symbolic execution has been proposed as a way of scaling symbolic execution by splitting the task of path exploration onto several workers running in parallel. The split is conducted along path ranges which – simply speaking – describe sets of paths. Workers can then explore path ranges in parallel. In this paper, we propose ranged analysis as the generalization of ranged symbolic execution to arbitrary program analyses. This allows us to not only parallelize a single analysis, but also run different analyses on different ranges of a program in parallel. Besides this generalization, we also provide a novel range splitting strategy operating along loop bounds, complementing the existing random strategy of the original proposal. We implemented ranged analysis within the tool CPAchecker and evaluated it on programs from the SV-COMP benchmark. The evaluation in particular shows the superiority of loop bounds splitting over random splitting. We furthermore find that compositions of ranged analyses can solve analysis tasks that none of the constituent analysis alone can solve." @default.
- W4366452143 created "2023-04-22" @default.
- W4366452143 creator A5007934772 @default.
- W4366452143 creator A5039435534 @default.
- W4366452143 creator A5046915601 @default.
- W4366452143 creator A5062004374 @default.
- W4366452143 date "2023-01-01" @default.
- W4366452143 modified "2023-10-18" @default.
- W4366452143 title "Parallel Program Analysis via Range Splitting" @default.
- W4366452143 cites W1167406420 @default.
- W4366452143 cites W127773936 @default.
- W4366452143 cites W1485200865 @default.
- W4366452143 cites W1511110335 @default.
- W4366452143 cites W1561086741 @default.
- W4366452143 cites W1591856965 @default.
- W4366452143 cites W1600064491 @default.
- W4366452143 cites W1729749005 @default.
- W4366452143 cites W176867143 @default.
- W4366452143 cites W1826019303 @default.
- W4366452143 cites W1970005004 @default.
- W4366452143 cites W1975833562 @default.
- W4366452143 cites W1986447758 @default.
- W4366452143 cites W2014764321 @default.
- W4366452143 cites W2041209185 @default.
- W4366452143 cites W2041937453 @default.
- W4366452143 cites W2042141335 @default.
- W4366452143 cites W2045109907 @default.
- W4366452143 cites W2061731456 @default.
- W4366452143 cites W2075485888 @default.
- W4366452143 cites W2081659623 @default.
- W4366452143 cites W2095551048 @default.
- W4366452143 cites W2096449544 @default.
- W4366452143 cites W2101512909 @default.
- W4366452143 cites W2104993088 @default.
- W4366452143 cites W2107794009 @default.
- W4366452143 cites W2113159073 @default.
- W4366452143 cites W2116998907 @default.
- W4366452143 cites W2122598528 @default.
- W4366452143 cites W2124712926 @default.
- W4366452143 cites W2132226975 @default.
- W4366452143 cites W2134875273 @default.
- W4366452143 cites W2139498310 @default.
- W4366452143 cites W2146641295 @default.
- W4366452143 cites W2147627044 @default.
- W4366452143 cites W2149647957 @default.
- W4366452143 cites W2151959678 @default.
- W4366452143 cites W2155024733 @default.
- W4366452143 cites W2158395308 @default.
- W4366452143 cites W2160445528 @default.
- W4366452143 cites W2161253570 @default.
- W4366452143 cites W2169063148 @default.
- W4366452143 cites W2182759377 @default.
- W4366452143 cites W2278602989 @default.
- W4366452143 cites W2294434616 @default.
- W4366452143 cites W2295658119 @default.
- W4366452143 cites W2539694140 @default.
- W4366452143 cites W2541894091 @default.
- W4366452143 cites W2548985278 @default.
- W4366452143 cites W2562172891 @default.
- W4366452143 cites W2574017551 @default.
- W4366452143 cites W2735077751 @default.
- W4366452143 cites W2740442565 @default.
- W4366452143 cites W2740744105 @default.
- W4366452143 cites W2745199060 @default.
- W4366452143 cites W2755109342 @default.
- W4366452143 cites W2763995315 @default.
- W4366452143 cites W2765527199 @default.
- W4366452143 cites W2773676607 @default.
- W4366452143 cites W2792047288 @default.
- W4366452143 cites W2794720712 @default.
- W4366452143 cites W2796681537 @default.
- W4366452143 cites W2797206907 @default.
- W4366452143 cites W2805375386 @default.
- W4366452143 cites W2899114364 @default.
- W4366452143 cites W2928427891 @default.
- W4366452143 cites W2935191403 @default.
- W4366452143 cites W2937521294 @default.
- W4366452143 cites W2953908845 @default.
- W4366452143 cites W2954487422 @default.
- W4366452143 cites W2966097619 @default.
- W4366452143 cites W2977998442 @default.
- W4366452143 cites W2999366812 @default.
- W4366452143 cites W3017047012 @default.
- W4366452143 cites W3091157996 @default.
- W4366452143 cites W3095071793 @default.
- W4366452143 cites W3099954734 @default.
- W4366452143 cites W3113381077 @default.
- W4366452143 cites W3139065122 @default.
- W4366452143 cites W3185700666 @default.
- W4366452143 cites W3194969426 @default.
- W4366452143 cites W4225637722 @default.
- W4366452143 cites W4225751037 @default.
- W4366452143 cites W4233823248 @default.
- W4366452143 cites W4239515158 @default.
- W4366452143 cites W4246414636 @default.
- W4366452143 cites W4252150051 @default.
- W4366452143 cites W4254377784 @default.
- W4366452143 cites W831708374 @default.