{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005500041,0.0009252884,0.0004593506,0.00202289,0.0007340417,0.002041365,0.001518203,0.0008223816,0.002753931],"category_scores_gemma":[0.02045242,0.0007723744,0.000898717,0.0005912351,0.002375244,0.00463808,0.002911647,0.001604826,0.001034067],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007488828,"about_ca_system_score_gemma":0.001975903,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00155584,"about_ca_topic_score_gemma":0.001438622,"domain_scores_codex":[0.9950972,0.001580096,0.0003641271,0.0004768883,0.002040711,0.0004409423],"domain_scores_gemma":[0.9754103,0.01419787,0.002488244,0.004566562,0.003007402,0.000329527],"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.0006268057,0.0006908989,0.01382566,0.0009030612,0.0001113817,0.002675711,0.003456033,0.08217061,0.1948683,0.3465855,0.005758822,0.3483272],"study_design_scores_gemma":[0.0001612433,0.0003695222,0.001618785,0.0002888051,0.000227033,0.001394042,0.0003260152,0.6093922,0.2274799,0.1279289,0.03065958,0.0001539399],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.07590454,0.0002394592,0.9005263,0.0007382353,0.00009962708,0.0001866063,0.0001092955,0.01354773,0.008648247],"genre_scores_gemma":[0.593736,0.0003946146,0.4011876,0.0003185894,0.00008910379,0.0001190688,0.0002426482,0.0009752704,0.002937029],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005500041,"threshold_uncertainty_score":0.02908736,"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."}}