{"id":"W2532501240","doi":"10.1109/wcre.2005.36","title":"Enhancing Security Using Legality Assertions","year":2006,"lang":"en","type":"article","venue":"","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":14,"is_retracted":false,"has_abstract":true,"ca_institutions":"Queen's University","funders":"","keywords":"Buffer overflow; Computer science; Heap (data structure); Pointer (user interface); Programming language; Program transformation; Symbolic execution; Memory safety; Call stack; Merge (version control); Source code; Code (set theory); Operating system; Stack (abstract data type); Parallel computing; Compiler; Software; Computer hardware; Set (abstract data type)","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003426259,0.00007592273,0.00008044145,0.00005419842,0.0002911039,0.0002187315,0.0004034022,0.00004327306,0.00002964389],"category_scores_gemma":[0.00002269644,0.00007794347,0.00004911933,0.0003694155,0.00002095114,0.0005207455,0.00012245,0.00009958369,0.00003222641],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005331819,"about_ca_system_score_gemma":0.00006056936,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009767984,"about_ca_topic_score_gemma":0.0001466451,"domain_scores_codex":[0.9990861,0.00005591046,0.0002307208,0.0002659692,0.0001657263,0.0001956051],"domain_scores_gemma":[0.9993538,0.00006685337,0.00006524422,0.0003923318,0.00008312654,0.00003864862],"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":[4.416675e-7,0.00007385746,0.00137678,0.000008266664,0.000003345621,0.000001910141,0.0002363579,0.0005649256,0.009843069,0.9871688,0.0003371079,0.0003850976],"study_design_scores_gemma":[0.0001493045,0.00001033018,0.006774855,0.00001649797,0.000004206788,0.00002596946,0.0000523857,0.855722,0.06591727,0.06550822,0.00555264,0.0002663483],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1888332,0.00002916975,0.7999821,0.0003278511,0.0002619888,0.0000458828,3.273262e-7,0.000276132,0.01024339],"genre_scores_gemma":[0.8968232,3.891087e-7,0.1027963,0.0001631428,0.0001268181,0.000001593584,0.000001171178,0.000002909813,0.00008451001],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9216606,"threshold_uncertainty_score":0.3178443,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02575467299715035,"score_gpt":0.2816419736852728,"score_spread":0.2558873006881224,"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."}}