{"id":"W7064770164","doi":"","title":"Combining Static Analysis and Targeted Symbolic Execution for Scalable Bug-finding in Application Binaries","year":2016,"lang":"en","type":"dissertation","venue":"UWSpace (University of Waterloo)","topic":"Astrophysical Phenomena and Observations","field":"Physics and Astronomy","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Blackberry (Canada)","funders":"","keywords":"Symbolic execution; Static analysis; Program analysis; Pruning; Statement (logic); Concolic testing; Static program analysis; Scalability; Code (set theory); Software","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.001292252,0.001605057,0.0009221217,0.002594827,0.0006369143,0.001364414,0.001622716,0.0007570429,0.003263946],"category_scores_gemma":[0.006120773,0.0007304421,0.001280248,0.001317443,0.001541521,0.002070829,0.002695142,0.001079878,0.001119732],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009541875,"about_ca_system_score_gemma":0.001945129,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004566764,"about_ca_topic_score_gemma":0.006074306,"domain_scores_codex":[0.9979659,0.0004951847,0.0001360673,0.000391517,0.0007464058,0.0002648448],"domain_scores_gemma":[0.9961438,0.002091407,0.0004174408,0.0007315145,0.0004886046,0.0001272028],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000662101,0.0004969921,0.01178484,0.0008650249,0.0001985274,0.0008953835,0.0008505579,0.2545673,0.08423929,0.017435,0.005597281,0.6224077],"study_design_scores_gemma":[0.00005801979,0.0001988367,0.001334032,0.00009003523,0.00009673106,0.0001791324,0.0001142594,0.9397196,0.03726198,0.01744686,0.003446197,0.00005439846],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.09211064,0.0005852491,0.8669792,0.0003706036,0.00007402465,0.0002922493,0.0002867503,0.03488457,0.00441665],"genre_scores_gemma":[0.5595665,0.0003724518,0.4334676,0.0002378119,0.00004518854,0.0002885634,0.0008237092,0.002252624,0.00294556],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.004566764,"threshold_uncertainty_score":0.01091897,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.007819802725119857,"score_gpt":0.2104278015970576,"score_spread":0.2026079988719377,"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."}}