{"id":"W2971822346","doi":"10.1145/3355378.3355383","title":"Efficient and Precise Dynamic Construction of Control Flow Graphs","year":2019,"lang":"en","type":"article","venue":"","topic":"Advanced Malware Detection Techniques","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Alberta","funders":"","keywords":"Computer science; Static analysis; Symbolic execution; Control flow analysis; Control flow; Overhead (engineering); Binary number; Control flow graph; Data structure; Theoretical computer science; Programming language; Type inference; Data flow diagram; Data-flow analysis; Inference; Software; Database; Reactive programming; Programming paradigm; Mathematics","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.0009307395,0.001185614,0.0006468139,0.001890337,0.0007419848,0.001217977,0.00123024,0.0008262643,0.003127488],"category_scores_gemma":[0.005083497,0.0008663024,0.001245493,0.001312791,0.001414357,0.002665184,0.001430649,0.00155122,0.001007765],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009890726,"about_ca_system_score_gemma":0.002273506,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003962707,"about_ca_topic_score_gemma":0.005608143,"domain_scores_codex":[0.9986065,0.0002286393,0.00008834851,0.0002989322,0.0005960637,0.0001815558],"domain_scores_gemma":[0.9963737,0.001589709,0.0002542674,0.001267469,0.0004660777,0.00004867082],"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.0003871244,0.0001770568,0.007180093,0.000897319,0.00009450626,0.000587195,0.0008212966,0.1097188,0.1001584,0.05586465,0.01190643,0.7122071],"study_design_scores_gemma":[0.00008793536,0.0001756198,0.003786492,0.0002545958,0.0001217189,0.0007687651,0.0002902915,0.6473736,0.2125576,0.09040204,0.04403986,0.0001415902],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03089132,0.0002186973,0.9424427,0.0001506006,0.00003861949,0.00009789446,0.0007169259,0.0232803,0.002162958],"genre_scores_gemma":[0.36488,0.0004173006,0.6206595,0.0001670856,0.00003919844,0.0002415772,0.004082264,0.006292616,0.003220568],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003962707,"threshold_uncertainty_score":0.01046246,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.001987141908483773,"score_gpt":0.2018157691439365,"score_spread":0.1998286272354527,"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."}}