{"id":"W7132882458","doi":"","title":"Evaluating Control-flow Integrity with Syscall Reachability Analysis","year":2022,"lang":"","type":"dissertation","venue":"TSpace","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"University of Toronto; Government of Ontario","keywords":"Reachability; Exploit; Set (abstract data type); Limiting; Harm; Order (exchange); Static analysis","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002493774,0.00088979,0.0006115795,0.002451074,0.0005734865,0.001298421,0.001011035,0.0009004492,0.00217491],"category_scores_gemma":[0.0142282,0.0003606827,0.0009423947,0.00142685,0.001953734,0.002684732,0.00127027,0.001424362,0.0003665361],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001501762,"about_ca_system_score_gemma":0.001772504,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00401155,"about_ca_topic_score_gemma":0.004060851,"domain_scores_codex":[0.9964663,0.000757077,0.0001412785,0.0003954237,0.001873749,0.0003662294],"domain_scores_gemma":[0.9886603,0.006978046,0.001433818,0.00156833,0.001211112,0.0001483436],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000610819,0.0004212565,0.04708052,0.0005295394,0.0001922069,0.0003190549,0.0006322893,0.6582239,0.08376746,0.03908969,0.001930792,0.1672025],"study_design_scores_gemma":[0.00001045266,0.0001474179,0.003014448,0.00003244283,0.00003743421,0.00009274056,0.00008052577,0.9450031,0.04043809,0.01020388,0.000918249,0.0000211858],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4608416,0.0005111943,0.5197913,0.0004270439,0.0000355734,0.0001666595,0.0005364157,0.008011,0.0096793],"genre_scores_gemma":[0.9100286,0.0001144435,0.08812442,0.00007385507,0.00001113665,0.00006637078,0.0004028136,0.0002418367,0.0009364057],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00401155,"threshold_uncertainty_score":0.01318848,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06459822235712755,"score_gpt":0.424865962012267,"score_spread":0.3602677396551395,"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."}}