{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0007004748,0.000881376,0.0005289408,0.001104048,0.0006255371,0.0008123748,0.0009861859,0.0003799253,0.004857616],"category_scores_gemma":[0.005309288,0.0002598931,0.0006284305,0.0009260252,0.001479901,0.00108873,0.0009143288,0.0008749077,0.0005963268],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007390027,"about_ca_system_score_gemma":0.001683383,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004831129,"about_ca_topic_score_gemma":0.004972151,"domain_scores_codex":[0.9989009,0.000232111,0.00006933662,0.0001837834,0.000459861,0.0001540311],"domain_scores_gemma":[0.9954607,0.002870906,0.0002976003,0.000647655,0.0006484591,0.00007467011],"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.0008715148,0.0002887483,0.005788817,0.001013917,0.00009686458,0.001085099,0.0007552039,0.4472522,0.1090177,0.1017952,0.007623947,0.3244107],"study_design_scores_gemma":[0.00003855543,0.000087999,0.0009255138,0.00002952879,0.00002933481,0.0001498362,0.00006002751,0.9116411,0.06479681,0.01847253,0.003736124,0.0000326646],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.08615528,0.00009649009,0.8955011,0.0001315938,0.00002760862,0.00009645356,0.0002888469,0.0122192,0.005483519],"genre_scores_gemma":[0.5321721,0.0001078605,0.463911,0.00005286957,0.0000209238,0.0001293344,0.0007649036,0.001014543,0.001826406],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004857616,"threshold_uncertainty_score":0.01625037,"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."}}