{"id":"W2516577067","doi":"10.1016/j.diin.2016.04.002","title":"BinGold: Towards robust binary analysis by extracting the semantics of binary code as semantic flow graphs (SFGs)","year":2016,"lang":"en","type":"article","venue":"Digital Investigation","topic":"Advanced Malware Detection Techniques","field":"Computer Science","cited_by":41,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Code refactoring; Control flow graph; Data-flow analysis; Obfuscation; Theoretical computer science; Binary code; Compiler; Static program analysis; Programming language; Binary number; Malware; Semantics (computer science); Data flow diagram; Software; Database; 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.001254513,0.001443321,0.0006579194,0.00459632,0.0006795417,0.001221875,0.001055691,0.0009207574,0.002479701],"category_scores_gemma":[0.006869507,0.0005904377,0.001250021,0.001631045,0.001308484,0.00313617,0.001572545,0.001235115,0.001342997],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008345732,"about_ca_system_score_gemma":0.001580093,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003735804,"about_ca_topic_score_gemma":0.004407742,"domain_scores_codex":[0.9985347,0.0002493623,0.0001149238,0.0002981033,0.0006809988,0.0001219816],"domain_scores_gemma":[0.9967518,0.00130453,0.000604916,0.0006422263,0.0006382803,0.00005830475],"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.0008319977,0.0002952081,0.01117675,0.001551867,0.000189237,0.0005842931,0.001171205,0.0445676,0.1091402,0.04551791,0.02065873,0.764315],"study_design_scores_gemma":[0.00009833127,0.000302229,0.006675863,0.0003208209,0.0001505261,0.0008370362,0.0004015623,0.6442687,0.1640423,0.1392621,0.04347272,0.0001678348],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.034419,0.0004472143,0.9123102,0.0001857237,0.00006434875,0.0002165457,0.001409908,0.04833538,0.002611658],"genre_scores_gemma":[0.2432462,0.0003644238,0.7418364,0.0003163124,0.00004245318,0.0002553366,0.005411224,0.006100492,0.002426994],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00459632,"threshold_uncertainty_score":0.008295417,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02176898801439601,"score_gpt":0.2510651739241297,"score_spread":0.2292961859097337,"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."}}