{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.000562818,0.0006415558,0.0004738676,0.001976613,0.0005663532,0.000598182,0.0004748213,0.0004160373,0.001900693],"category_scores_gemma":[0.003635888,0.000351912,0.0004642347,0.0007340484,0.001014897,0.0009454699,0.0004501563,0.000493084,0.0004733765],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005058265,"about_ca_system_score_gemma":0.0009259855,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002612572,"about_ca_topic_score_gemma":0.003167275,"domain_scores_codex":[0.9993735,0.0001129129,0.00004293752,0.00009358521,0.000312268,0.00006484739],"domain_scores_gemma":[0.9957489,0.001505675,0.0009535918,0.0008568477,0.0008307456,0.0001042807],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0005061023,0.0003165652,0.02927778,0.0006878069,0.00008119729,0.001244833,0.00102785,0.07534814,0.5135542,0.03644045,0.002442877,0.3390723],"study_design_scores_gemma":[0.00003308794,0.0003626827,0.01239378,0.0001230138,0.00009507591,0.0009771277,0.0001373029,0.6543509,0.3029273,0.02174037,0.006783419,0.00007602396],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3107631,0.00055642,0.6730073,0.0002485511,0.00006447826,0.0002042848,0.000220942,0.009083454,0.005851539],"genre_scores_gemma":[0.7546825,0.0002607792,0.2415978,0.00009831075,0.00002756132,0.00008680196,0.0003666641,0.0007212278,0.002158324],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002612572,"threshold_uncertainty_score":0.006358504,"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."}}