{"id":"W3092300773","doi":"10.1002/spe.2907","title":"Practical dynamic reconstruction of control flow graphs","year":2020,"lang":"en","type":"article","venue":"Software Practice and Experience","topic":"Parallel Computing and Optimization Techniques","field":"Computer Science","cited_by":25,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Alberta","funders":"Fundação de Amparo à Pesquisa do Estado de Minas Gerais; Conselho Nacional de Desenvolvimento Científico e Tecnológico","keywords":"Executable; Computer science; Debugging; Spec#; Programming language; Control flow graph; Dataflow; Control flow; Symbolic execution; Static analysis; Machine code; Scripting language; Binary number; Data-flow analysis; Control flow analysis; Code (set theory); Theoretical computer science; Compiler; Data flow diagram; Software; Arithmetic; Programming paradigm; Declarative programming","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0007173824,0.0007831051,0.0004220033,0.001511238,0.0005155103,0.0009434543,0.0009377273,0.0006081353,0.005474156],"category_scores_gemma":[0.004874368,0.0006227781,0.0005451893,0.0009855992,0.0009828124,0.00173013,0.001356045,0.001173043,0.001138457],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007970918,"about_ca_system_score_gemma":0.000924919,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003266494,"about_ca_topic_score_gemma":0.0031399,"domain_scores_codex":[0.9988248,0.0002244772,0.00004865849,0.0002433435,0.0005243078,0.0001344476],"domain_scores_gemma":[0.9971654,0.001220308,0.000221977,0.0008859089,0.0004537136,0.00005275399],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0005648597,0.0001157536,0.003971618,0.0003301824,0.00004611833,0.0003693705,0.0004742241,0.2134232,0.05022375,0.0527886,0.008984525,0.6687078],"study_design_scores_gemma":[0.00003650347,0.00006307384,0.0008437103,0.0000439365,0.00001742612,0.0002170457,0.0001486823,0.8872736,0.06610963,0.0334094,0.01180416,0.00003281368],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.05848524,0.0001972951,0.9193943,0.000238987,0.00004101845,0.00005786873,0.0003648148,0.0162033,0.005017003],"genre_scores_gemma":[0.5822116,0.000164982,0.4084081,0.0001240749,0.00002606506,0.00007781012,0.001463462,0.002220193,0.005303682],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005474156,"threshold_uncertainty_score":0.01831287,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01764990418475308,"score_gpt":0.2980036989792894,"score_spread":0.2803537947945363,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}