{"id":"W2672744731","doi":"","title":"Toward preventing stack overflow using kernel properties","year":2015,"lang":"en","type":"article","venue":"","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Bishop's University","funders":"","keywords":"Buffer overflow; Computer science; Kernel (algebra); Stack (abstract data type); Call stack; Code (set theory); Operating system; System call; Linux kernel; Source code; Programming language; Set (abstract data type); Mathematics","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.006964155,0.001061042,0.001150283,0.001679032,0.001390862,0.00443205,0.002676261,0.0020526,0.003235388],"category_scores_gemma":[0.0391334,0.001175079,0.001655143,0.0007448508,0.006410181,0.01161687,0.006546968,0.004475154,0.001201605],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00114444,"about_ca_system_score_gemma":0.003143129,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007610607,"about_ca_topic_score_gemma":0.000593649,"domain_scores_codex":[0.9927187,0.001788954,0.0006250226,0.001108649,0.002629236,0.00112943],"domain_scores_gemma":[0.9692523,0.01265011,0.003017458,0.01084511,0.003502169,0.0007328939],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00069057,0.0004740774,0.01178368,0.001251342,0.000188185,0.0007403578,0.00201445,0.05689732,0.09553789,0.6830141,0.006696963,0.1407111],"study_design_scores_gemma":[0.0001597941,0.0007515823,0.001953544,0.0004930772,0.0003103065,0.001123261,0.0004749734,0.3334395,0.236659,0.3928069,0.03158329,0.0002447289],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06929,0.0005169048,0.9138204,0.001704005,0.000152304,0.0001460867,0.00009704512,0.006277879,0.00799538],"genre_scores_gemma":[0.742326,0.0005421003,0.2526108,0.0006990935,0.0001788187,0.0001680159,0.0001446622,0.001107758,0.002222733],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006964155,"threshold_uncertainty_score":0.03683043,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.2185211329980294,"score_gpt":0.3014739347040249,"score_spread":0.08295280170599553,"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."}}