{"id":"W2964175311","doi":"10.1109/tse.2018.2868349","title":"Debugging Static Analysis","year":2018,"lang":"en","type":"article","venue":"IEEE Transactions on Software Engineering","topic":"Software Engineering Research","field":"Computer Science","cited_by":18,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Alberta","funders":"Natural Sciences and Engineering Research Council of Canada; Universität Paderborn; École Polytechnique Fédérale de Lausanne; Heinz Nixdorf Stiftung; Deutsche Forschungsgemeinschaft","keywords":"Static analysis; Debugging; Computer science; Debugger; Static program analysis; Programming language; Program analysis; Algorithmic program debugging; Software bug; Source code; Data-flow analysis; Call graph; Code (set theory); Tracing; Taint checking; Software engineering; Data flow diagram; Database; Software; Software development","routes":{"ca_aff":true,"ca_fund":true,"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.01237336,0.002106892,0.001044526,0.005723947,0.001519063,0.003041919,0.001810487,0.001216447,0.01157537],"category_scores_gemma":[0.06857033,0.00101829,0.0008696718,0.002960239,0.0009999969,0.005758089,0.002717486,0.001775464,0.005998496],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001070055,"about_ca_system_score_gemma":0.003261547,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002768288,"about_ca_topic_score_gemma":0.003021415,"domain_scores_codex":[0.9883937,0.00429591,0.0009352426,0.001988757,0.003734681,0.000651567],"domain_scores_gemma":[0.9344354,0.03186569,0.00394537,0.01234233,0.01662031,0.0007909361],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.0007709365,0.0002905509,0.03547023,0.001290449,0.0001562077,0.0007238385,0.008347537,0.008312818,0.02270024,0.02851866,0.06596009,0.8274584],"study_design_scores_gemma":[0.0002184863,0.0007992882,0.02757457,0.002336364,0.0005216845,0.003363273,0.006170748,0.1314228,0.0955759,0.07363362,0.6579229,0.0004603696],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.07586462,0.002110457,0.8193345,0.002171436,0.0007271371,0.0005529908,0.003206853,0.06137195,0.03466006],"genre_scores_gemma":[0.5319442,0.001723187,0.4349337,0.001097337,0.0002633281,0.0004213098,0.005686294,0.009968057,0.01396252],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01237336,"threshold_uncertainty_score":0.06543738,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01334547554195806,"score_gpt":0.2504908037188451,"score_spread":0.2371453281768871,"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."}}