// Simple predicates
'tacocat'.startsWith('taco')

// Parameterized predicates over structured data
account.balance >= transaction.withdrawal

// JSON objects
{'sub': '12345678',
 'aud': 'example2.cel.dev',
 'iss': 'https://example1.cel.dev/jwt-issuer'}

// Strongly typed objects
common.GeoPoint{ latitude: 10.0, longitude: -5.5 }

Common Expression Language (CEL) เป็นภาษานิพจน์ที่รวดเร็ว พกพาง่าย และปลอดภัยที่จะดำเนินการในแอปพลิเคชันที่สําคัญด้านประสิทธิภาพ CEL ได้รับการออกแบบมาให้ฝังในแอปพลิเคชันพร้อมส่วนขยายเฉพาะแอปพลิเคชัน และเหมาะสำหรับการขยายการกำหนดค่าแบบประกาศที่แอปพลิเคชันของคุณอาจใช้งานอยู่แล้ว

ใช้ CEL กับสิ่งต่างๆ เช่น ตัวกรองรายการสำหรับการเรียก API, ข้อจำกัดการตรวจสอบความถูกต้องของบัฟเฟอร์โปรโตคอล และกฎการให้สิทธิ์สำหรับคำขอ API

ดูข้อมูลเพิ่มเติม เริ่มใช้งาน
เร่งการประเมินนิพจน์ในเส้นทางที่สำคัญด้านประสิทธิภาพตั้งแต่นาโนวินาทีไปจนถึงไมโครวินาที
ใช้งานง่าย เหมาะกับนักพัฒนาซอฟต์แวร์ด้วยไวยากรณ์ทั่วไปสำหรับหลากหลายระบบของ Google และระบบภายนอก
การเข้าสู่บทแนะนำไม่เสร็จสิ้นและเข้าถึงเฉพาะข้อมูลของแอปพลิเคชันโฮสต์เท่านั้น
พิสูจน์ความถูกต้อง ตัวแปรความปลอดภัย และความเท่าเทียมกันในอินพุตทั้งหมดโดยใช้ตัวแก้ SMT อัตโนมัติ เช่น Z3

CEL เหมาะเป็นอย่างยิ่งสำหรับการใช้งานที่ต้องการประสิทธิภาพสูงสุด เนื่องจากออกแบบมาเพื่อให้ประเมินอย่างปลอดภัยและรวดเร็ว (ระดับนาโนวินาทีถึงไมโครวินาที) โดยมีต้นทุนที่คาดการณ์ได้ นิพจน์ CEL มีประโยชน์อย่างยิ่งสำหรับตรรกะแบบ predicate และการแปลงข้อมูลอย่างง่ายๆ

CEL จะใช้อย่างมีประสิทธิภาพมากที่สุดในแอปพลิเคชันที่มีการประเมินนิพจน์เป็นประจำ แต่ได้รับการแก้ไขไม่บ่อยนัก เช่น การประเมินคำขอ HTTP เทียบกับนโยบายความปลอดภัยเป็นกรณีการใช้งานที่ยอดเยี่ยมสำหรับ CEL นิพจน์นโยบายความปลอดภัย CEL จะมีต้นทุนการกำหนดค่าแบบครั้งเดียวเพื่อตรวจสอบความถูกต้องของนิพจน์ จากนั้นจะได้รับการประเมินบ่อยครั้งโดยมีค่าใช้จ่ายที่ไม่สำคัญ

หากยังไม่แน่ใจ ตรวจสอบภาพรวมและคำจำกัดความของภาษา CEL หรือสอบถามเรา เรายินดีให้ความช่วยเหลือ

ภาพรวม CEL คําจํากัดความภาษา ถามทีมของเรา

เนื่องจากเอเจนต์ AI สร้าง แก้ไขโค้ดใหม่ และปรับใช้นโยบาย การทดสอบหน่วยแบบฮิวริสติกอาจไม่ครอบคลุมกรณีที่ซับซ้อนในอินพุตที่ไม่มีที่สิ้นสุด เฟรมเวิร์กการตรวจสอบอย่างเป็นทางการของ CEL ซึ่งขับเคลื่อนโดยตัวพิสู้วน์ทฤษฎี Z3 ช่วยให้นักพัฒนาแอปพิสูจน์ความถูกต้องของนโยบายในเชิงคณิตศาสตร์ ตรวจสอบความเท่าเทียมกันของ AST และรับประกันตัวแปรความปลอดภัยทั่วทั้งพื้นที่อินพุต

ตรวจจับข้อบกพร่องเชิงตรรกะที่ซับซ้อน บังคับใช้การป้องกันที่ครอบคลุม และรักษาความปลอดภัยในการสร้างนโยบายอัตโนมัติด้วยความแน่นอนทางคณิตศาสตร์

อ่านประกาศ โปรแกรมตรวจสอบ CEL Java
หากต้องการช่วยโครงการ CEL ร่วมสนับสนุนโค้ดและเอกสารแบบโอเพนซอร์สของเรา เรายินดีรับความช่วยเหลือจากคุณ
มีส่วนร่วม