feat: improve stack resiliency

Cargo.toml

@@ -16,6 +16,7 @@ tokio = "1"
 tokio-util = "0.7"
 once_cell = "1"
 petgraph = "0.8"
+recursive = "0.1"
 regex = "1"
 regex-lite = "0.1"
 strum = "0.27"

core/expression/Cargo.toml

@@ -16,6 +16,7 @@ chrono-tz = "0.10"
 humantime = { workspace = true }
 fastrand = { workspace = true }
 once_cell = { workspace = true }
+recursive = { workspace = true, optional = true }
 regex = { workspace = true, optional = true }
 regex-lite = { workspace = true, optional = true }
 serde = { workspace = true, features = ["rc", "derive"] }
@@ -35,9 +36,10 @@ csv = "1"
 serde_json5 = "0.2"
 
 [features]
-default = ["regex-deprecated"]
-regex-deprecated = ["dep:regex"]
+default = ["regex-deprecated", "stack-protection"]
 regex-lite = ["dep:regex-lite"]
+regex-deprecated = ["dep:regex"]
+stack-protection = ["dep:recursive"]
 
 [[bench]]
 harness = false

core/expression/src/compiler/compiler.rs

@@ -112,6 +112,7 @@ impl<'arena, 'bytecode_ref> CompilerInner<'arena, 'bytecode_ref> {
         self.compile_node(arg)
     }
 
+    #[cfg_attr(feature = "stack-protection", recursive::recursive)]
     fn compile_member_fast(&mut self, node: &'arena Node<'arena>) -> Option<Vec<FetchFastTarget>> {
         match node {
             Node::Root => Some(vec![FetchFastTarget::Root]),
@@ -141,6 +142,7 @@ impl<'arena, 'bytecode_ref> CompilerInner<'arena, 'bytecode_ref> {
         }
     }
 
+    #[cfg_attr(feature = "stack-protection", recursive::recursive)]
     fn compile_node(&mut self, node: &'arena Node<'arena>) -> CompilerResult<usize> {
         match node {
             Node::Null => Ok(self.emit(Opcode::PushNull)),

core/expression/src/intellisense/types/provider.rs

@@ -51,6 +51,7 @@ impl TypesProvider {
         });
     }
 
+    #[cfg_attr(feature = "stack-protection", recursive::recursive)]
     fn determine(&mut self, node: &Node, scope: IntelliSenseScope) -> TypeInfo {
         #[allow(non_snake_case)]
         let V = |vt: VariableType| TypeInfo::from(vt);

core/expression/src/parser/standard.rs

@@ -19,6 +19,7 @@ impl<'arena, 'token_ref> Parser<'arena, 'token_ref, Standard> {
         }
     }
 
+    #[cfg_attr(feature = "stack-protection", recursive::recursive)]
     fn binary_expression(&self, precedence: u8) -> &'arena Node<'arena> {
         let mut node_left = self.unary_expression();
         let Some(mut token) = self.current() else {

core/expression/src/parser/unary.rs

@@ -132,6 +132,7 @@ impl<'arena, 'token_ref> Parser<'arena, 'token_ref, Unary> {
         left_node
     }
 
+    #[cfg_attr(feature = "stack-protection", recursive::recursive)]
     fn binary_expression(&self, precedence: u8, ctx: ParserContext) -> &'arena Node<'arena> {
         let mut node_left = self.unary_expression();
         let Some(mut token) = self.current() else {

core/template/Cargo.toml

@@ -8,7 +8,14 @@ edition = "2021"
 repository = "https://github.com/gorules/zen.git"
 
 [dependencies]
-zen-expression = { path = "../expression", version = "0.45.0" }
+zen-expression = { path = "../expression", version = "0.45.0", default-features = false }
 thiserror = { workspace = true }
 serde = { workspace = true }
-serde_json = { workspace = true }
+serde_json = { workspace = true }
+
+[features]
+default = ["stack-protection", "regex-deprecated"]
+
+stack-protection = ["zen-expression/stack-protection"]
+regex-lite = ["zen-expression/regex-lite"]
+regex-deprecated = ["zen-expression/regex-deprecated"]