{"id":"W126196860","doi":"10.1007/978-0-387-73655-6_20","title":"Control Flow Based Pointcuts for Security Hardening Concerns","year":2007,"lang":"en","type":"book-chapter","venue":"","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"Natural Sciences and Engineering Research Council of Canada; Concordia University","keywords":"Correctness; Computer science; Control flow; Programming language; Control flow graph","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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0008078879,0.0003719699,0.0004511794,0.0001981074,0.0002631681,0.0002608246,0.001154165,0.0004153653,0.0003381925],"category_scores_gemma":[0.00006777864,0.0003889825,0.000339893,0.00004920311,0.00007680381,0.0001748786,0.0001194181,0.0004107748,0.0001190428],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001187869,"about_ca_system_score_gemma":0.0002310025,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001232587,"about_ca_topic_score_gemma":0.00001681355,"domain_scores_codex":[0.9977914,0.00002219884,0.0005474269,0.0007951359,0.0004228522,0.0004210055],"domain_scores_gemma":[0.9974266,0.0008493244,0.0003376105,0.0008388313,0.0003811721,0.0001665087],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00002050608,0.00001468883,0.000003008801,0.00005770753,0.00005083923,0.000009495772,0.0001777676,0.0002040201,0.000005663338,0.9805797,0.008461777,0.01041483],"study_design_scores_gemma":[0.0008659327,0.00006914956,0.000002047715,0.00009520571,0.000021552,0.000006562522,0.000002905021,0.5544649,0.0001770805,0.03255375,0.4113317,0.0004091957],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.000001034688,0.0001332879,0.7318715,0.0006424082,0.0008609956,0.0004796416,0.00003573503,0.0003699142,0.2656054],"genre_scores_gemma":[0.06909859,0.00002710685,0.695058,0.01803542,0.004128106,0.00009857075,0.0002000312,0.0002062839,0.2131479],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9480259,"threshold_uncertainty_score":0.9998562,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05707957330283056,"score_gpt":0.2914133922632791,"score_spread":0.2343338189604485,"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."}}