{"id":"W2146763372","doi":"10.1109/icsm.2000.883045","title":"C/C++ conditional compilation analysis using symbolic execution","year":2000,"lang":"en","type":"article","venue":"","topic":"Software Engineering Research","field":"Computer Science","cited_by":35,"is_retracted":false,"has_abstract":true,"ca_institutions":"Bell (Canada); Polytechnique Montréal","funders":"","keywords":"Computer science; Programming language; Header; Preprocessor; Compile time; Compiler; Source code; Task (project management); Symbolic execution; Software; Code (set theory); Directive; Software engineering; Set (abstract data type)","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":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0001354663,0.0000571879,0.0000824426,0.0002565099,0.00007670004,0.00009075985,0.0002436107,0.00002910576,0.001085405],"category_scores_gemma":[0.00002432358,0.00005720389,0.00005629998,0.001283572,0.00001714226,0.0003311386,0.00002974404,0.00005837621,0.0001588588],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006109697,"about_ca_system_score_gemma":0.00002634405,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000359701,"about_ca_topic_score_gemma":0.000001927706,"domain_scores_codex":[0.9992332,0.00002534901,0.0001057786,0.0001884593,0.0002925869,0.0001545827],"domain_scores_gemma":[0.9995013,0.0001315448,0.00001250382,0.0002476047,0.00005142771,0.00005554546],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000005491732,0.00009731529,0.07207049,0.000009733473,0.0003466598,0.00001490046,0.0004206018,0.8426767,0.001995781,0.05907509,0.0008712898,0.02241596],"study_design_scores_gemma":[0.00006441154,0.000006138319,0.2487066,0.000001396609,0.00001319777,0.000005215855,0.000001390312,0.749924,0.0003461594,0.0005928641,0.0002723074,0.00006629835],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2795606,0.00001136539,0.7191643,0.00005763702,0.00002421075,0.00003534099,0.000002307133,0.0001976041,0.0009466256],"genre_scores_gemma":[0.9633204,0.000001891529,0.03615536,0.00004954816,0.00003208494,0.000002949437,0.00002849654,0.000003094772,0.0004062182],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.6837597,"threshold_uncertainty_score":0.9998277,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.023129237547132,"score_gpt":0.2881012351661238,"score_spread":0.2649719976189918,"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."}}