{"id":"W2592345979","doi":"10.1109/access.2017.2676161","title":"Patch-Related Vulnerability Detection Based on Symbolic Execution","year":2017,"lang":"en","type":"article","venue":"IEEE Access","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":13,"is_retracted":false,"has_abstract":true,"ca_institutions":"St. Francis Xavier University","funders":"National Natural Science Foundation of China","keywords":"Computer science; Buffer overflow; Software bug; Symbolic execution; Fuzz testing; Memory safety; Software; Software security assurance; Memory leak; Security bug; Vulnerability (computing); Append; Malware; Static analysis; Operating system; Computer security; Programming language; Memory management; Cloud computing","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.0007335176,0.001341808,0.0008331486,0.003515103,0.0004038839,0.0008597788,0.001237621,0.0007852932,0.00164526],"category_scores_gemma":[0.00794435,0.0004179364,0.0006967172,0.001363767,0.001500716,0.001427566,0.001177212,0.0007442129,0.0003449862],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006737534,"about_ca_system_score_gemma":0.001291135,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003685653,"about_ca_topic_score_gemma":0.003211718,"domain_scores_codex":[0.9983938,0.0003246635,0.0001039127,0.0003301073,0.0006894456,0.0001580144],"domain_scores_gemma":[0.9937709,0.003611889,0.0009670563,0.0008109269,0.0006833862,0.0001557471],"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.0007198228,0.0003377233,0.03985266,0.0009077449,0.0001921491,0.001567447,0.001177971,0.2116775,0.1563053,0.01145272,0.003087231,0.5727217],"study_design_scores_gemma":[0.00002861993,0.0001065817,0.002527367,0.00003700778,0.00004809575,0.0003763747,0.00005524775,0.9530166,0.0376743,0.005070136,0.001026045,0.00003355138],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2016667,0.000373834,0.7716504,0.0001736773,0.00003141351,0.0001336756,0.0003246465,0.0238344,0.001811237],"genre_scores_gemma":[0.7443845,0.0001751576,0.2537584,0.00004596997,0.00001420246,0.00008809839,0.0003938383,0.0004562349,0.0006835061],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003685653,"threshold_uncertainty_score":0.007328391,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04551933161146442,"score_gpt":0.3414228419462515,"score_spread":0.2959035103347871,"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."}}