{"id":"W4387674275","doi":"10.1145/3622842","title":"Building Dynamic System Call Sandbox with Partial Order Analysis","year":2023,"lang":"en","type":"article","venue":"Proceedings of the ACM on Programming Languages","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"National Natural Science Foundation of China","keywords":"Sandbox (software development); Computer science; System call; Attack surface; Static analysis; Call graph; Code (set theory); Program analysis; Server; Point (geometry); Order (exchange); Computer security; Operating system; Set (abstract data type); Programming language","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":[],"consensus_categories":[],"category_scores_codex":[0.0005922345,0.0001480822,0.0002227697,0.0002661786,0.0002431342,0.0002531369,0.00242533,0.00005658324,0.000001232732],"category_scores_gemma":[0.000419509,0.00009899714,0.0001144669,0.003760671,0.00006509759,0.000182456,0.0007195226,0.000161187,0.000007204726],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004966551,"about_ca_system_score_gemma":0.00002440709,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004121185,"about_ca_topic_score_gemma":0.000003383863,"domain_scores_codex":[0.9985673,0.00001435622,0.0002468941,0.0004052632,0.0004414644,0.0003246968],"domain_scores_gemma":[0.998724,0.0001237821,0.0002792304,0.0006079886,0.0002115534,0.00005340789],"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.000161895,0.0004612414,0.09123328,0.002143265,0.00272702,0.00003865971,0.02609472,0.007614688,0.01949032,0.5509314,0.001774349,0.2973292],"study_design_scores_gemma":[0.001742773,0.0007184576,0.03551841,0.001775448,0.001114586,0.0001001812,0.0103658,0.8572815,0.07972651,0.002548651,0.007461379,0.001646324],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9706865,0.00009754855,0.02541689,0.001879683,0.0001699956,0.0003521512,0.000002076839,0.001065162,0.0003300075],"genre_scores_gemma":[0.9152662,0.000002420979,0.08454209,0.00004249582,0.00004166461,0.00003547203,0.000001227051,0.00001196551,0.00005643057],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.8496668,"threshold_uncertainty_score":0.4506907,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01205847013127461,"score_gpt":0.2763636227591695,"score_spread":0.2643051526278949,"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."}}