{"id":"W1952910495","doi":"10.1109/enabl.1999.805197","title":"Static analysis of binary code to isolate malicious behaviors","year":2003,"lang":"en","type":"article","venue":"","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":73,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université Laval","funders":"","keywords":"Computer science; Executable; Program slicing; Static program analysis; Static analysis; Programming language; Slicing; Program analysis; Code (set theory); Binary code; Semantics (computer science); Source code; Binary number; Software; Software development","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.0002883892,0.00008747511,0.0002003588,0.0004496392,0.00003847915,0.00003303465,0.0004062968,0.00002888579,0.00002968271],"category_scores_gemma":[0.0001535363,0.00007688254,0.00007638699,0.001838456,0.0000172026,0.00008051952,0.00008220478,0.00004439181,0.00001278967],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001935551,"about_ca_system_score_gemma":0.00002951664,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002444431,"about_ca_topic_score_gemma":0.00002030227,"domain_scores_codex":[0.9991521,0.00005546918,0.000209944,0.0002415369,0.0001666906,0.0001742559],"domain_scores_gemma":[0.9990419,0.0001556607,0.00005881521,0.000585465,0.00007716755,0.00008095486],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"observational","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00002818547,0.001770812,0.6260288,0.0001016585,0.001403167,0.0002979834,0.01125299,0.01949872,0.02033942,0.121433,0.1490453,0.04879995],"study_design_scores_gemma":[0.0007731686,0.002722969,0.2475449,0.0001613584,0.001786909,0.00007136022,0.0000935765,0.6475948,0.03834975,0.05424885,0.004423162,0.002229142],"study_design_candidate":"observational","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2697143,0.00001091412,0.7265163,0.0001602684,0.0000418632,0.00007256852,0.000002612048,0.002782075,0.0006990882],"genre_scores_gemma":[0.6262445,8.543489e-7,0.3731856,0.0003767273,9.786819e-7,0.000006577894,5.884299e-7,0.000003744548,0.0001804715],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.6280961,"threshold_uncertainty_score":0.3135179,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02127857445463315,"score_gpt":0.2971407914437658,"score_spread":0.2758622169891326,"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."}}