{"id":"W2142782287","doi":"10.1109/wcre.2005.31","title":"Symbolic Interpretation of Legacy Assembly Language","year":2006,"lang":"en","type":"article","venue":"","topic":"Software Engineering Research","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Programming language; Computer science; Abstract interpretation; IBM; Symbolic execution; Semantics (computer science); Symbolic data analysis; Interpretation (philosophy); Program analysis; Operational semantics; Symbolic trajectory evaluation; Code (set theory); Control flow; Static program analysis; The Symbolic; Theoretical computer science; Model checking; 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.000486206,0.0007223861,0.0003243817,0.001158481,0.0005988342,0.001533125,0.0009193807,0.0004257575,0.004061271],"category_scores_gemma":[0.002238262,0.0002918816,0.0005506987,0.0007707708,0.002069048,0.001209179,0.0008653339,0.0008180185,0.0006080116],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001161689,"about_ca_system_score_gemma":0.0009929385,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003004414,"about_ca_topic_score_gemma":0.003614553,"domain_scores_codex":[0.999411,0.0001398731,0.00003389549,0.00006598688,0.0002774545,0.0000717196],"domain_scores_gemma":[0.9991949,0.0002464999,0.0001027377,0.0001974191,0.0002427315,0.00001558033],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0001270737,0.00005216543,0.001158256,0.0003321953,0.00002728454,0.001751374,0.001988158,0.1245004,0.02616191,0.724678,0.003724318,0.1154988],"study_design_scores_gemma":[0.00004509479,0.00008344932,0.0005681106,0.0001594355,0.00006820204,0.0005132324,0.0003453032,0.4900969,0.05610033,0.3977821,0.05416726,0.00007055549],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.04649888,0.0002295786,0.9250407,0.0003636162,0.00006419606,0.00004224092,0.000258953,0.005040169,0.02246172],"genre_scores_gemma":[0.6780639,0.0005153112,0.309232,0.0001315006,0.00006125725,0.00007841821,0.0005842574,0.001198363,0.01013496],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.004061271,"threshold_uncertainty_score":0.01358634,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.00632289803128751,"score_gpt":0.2603338361779754,"score_spread":0.2540109381466879,"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."}}