rule_abstract.go 4.9 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226
  1. package rule
  2. import (
  3. "io"
  4. "strings"
  5. "github.com/sagernet/sing-box/adapter"
  6. C "github.com/sagernet/sing-box/constant"
  7. "github.com/sagernet/sing/common"
  8. F "github.com/sagernet/sing/common/format"
  9. )
  10. type abstractDefaultRule struct {
  11. items []RuleItem
  12. sourceAddressItems []RuleItem
  13. sourcePortItems []RuleItem
  14. destinationAddressItems []RuleItem
  15. destinationIPCIDRItems []RuleItem
  16. destinationPortItems []RuleItem
  17. allItems []RuleItem
  18. ruleSetItem RuleItem
  19. invert bool
  20. action adapter.RuleAction
  21. }
  22. func (r *abstractDefaultRule) Type() string {
  23. return C.RuleTypeDefault
  24. }
  25. func (r *abstractDefaultRule) Start() error {
  26. for _, item := range r.allItems {
  27. if starter, isStarter := item.(interface {
  28. Start() error
  29. }); isStarter {
  30. err := starter.Start()
  31. if err != nil {
  32. return err
  33. }
  34. }
  35. }
  36. return nil
  37. }
  38. func (r *abstractDefaultRule) Close() error {
  39. for _, item := range r.allItems {
  40. err := common.Close(item)
  41. if err != nil {
  42. return err
  43. }
  44. }
  45. return nil
  46. }
  47. func (r *abstractDefaultRule) Match(metadata *adapter.InboundContext) bool {
  48. if len(r.allItems) == 0 {
  49. return true
  50. }
  51. if len(r.sourceAddressItems) > 0 && !metadata.SourceAddressMatch {
  52. metadata.DidMatch = true
  53. for _, item := range r.sourceAddressItems {
  54. if item.Match(metadata) {
  55. metadata.SourceAddressMatch = true
  56. break
  57. }
  58. }
  59. }
  60. if len(r.sourcePortItems) > 0 && !metadata.SourcePortMatch {
  61. metadata.DidMatch = true
  62. for _, item := range r.sourcePortItems {
  63. if item.Match(metadata) {
  64. metadata.SourcePortMatch = true
  65. break
  66. }
  67. }
  68. }
  69. if len(r.destinationAddressItems) > 0 && !metadata.DestinationAddressMatch {
  70. metadata.DidMatch = true
  71. for _, item := range r.destinationAddressItems {
  72. if item.Match(metadata) {
  73. metadata.DestinationAddressMatch = true
  74. break
  75. }
  76. }
  77. }
  78. if !metadata.IgnoreDestinationIPCIDRMatch && len(r.destinationIPCIDRItems) > 0 && !metadata.DestinationAddressMatch {
  79. metadata.DidMatch = true
  80. for _, item := range r.destinationIPCIDRItems {
  81. if item.Match(metadata) {
  82. metadata.DestinationAddressMatch = true
  83. break
  84. }
  85. }
  86. }
  87. if len(r.destinationPortItems) > 0 && !metadata.DestinationPortMatch {
  88. metadata.DidMatch = true
  89. for _, item := range r.destinationPortItems {
  90. if item.Match(metadata) {
  91. metadata.DestinationPortMatch = true
  92. break
  93. }
  94. }
  95. }
  96. for _, item := range r.items {
  97. if _, isRuleSet := item.(*RuleSetItem); !isRuleSet {
  98. metadata.DidMatch = true
  99. }
  100. if !item.Match(metadata) {
  101. return r.invert
  102. }
  103. }
  104. if len(r.sourceAddressItems) > 0 && !metadata.SourceAddressMatch {
  105. return r.invert
  106. }
  107. if len(r.sourcePortItems) > 0 && !metadata.SourcePortMatch {
  108. return r.invert
  109. }
  110. if ((!metadata.IgnoreDestinationIPCIDRMatch && len(r.destinationIPCIDRItems) > 0) || len(r.destinationAddressItems) > 0) && !metadata.DestinationAddressMatch {
  111. return r.invert
  112. }
  113. if len(r.destinationPortItems) > 0 && !metadata.DestinationPortMatch {
  114. return r.invert
  115. }
  116. if !metadata.DidMatch {
  117. return true
  118. }
  119. return !r.invert
  120. }
  121. func (r *abstractDefaultRule) Action() adapter.RuleAction {
  122. return r.action
  123. }
  124. func (r *abstractDefaultRule) String() string {
  125. if !r.invert {
  126. return strings.Join(F.MapToString(r.allItems), " ")
  127. } else {
  128. return "!(" + strings.Join(F.MapToString(r.allItems), " ") + ")"
  129. }
  130. }
  131. type abstractLogicalRule struct {
  132. rules []adapter.HeadlessRule
  133. mode string
  134. invert bool
  135. action adapter.RuleAction
  136. }
  137. func (r *abstractLogicalRule) Type() string {
  138. return C.RuleTypeLogical
  139. }
  140. func (r *abstractLogicalRule) Start() error {
  141. for _, rule := range common.FilterIsInstance(r.rules, func(it adapter.HeadlessRule) (interface {
  142. Start() error
  143. }, bool,
  144. ) {
  145. rule, loaded := it.(interface {
  146. Start() error
  147. })
  148. return rule, loaded
  149. }) {
  150. err := rule.Start()
  151. if err != nil {
  152. return err
  153. }
  154. }
  155. return nil
  156. }
  157. func (r *abstractLogicalRule) Close() error {
  158. for _, rule := range common.FilterIsInstance(r.rules, func(it adapter.HeadlessRule) (io.Closer, bool) {
  159. rule, loaded := it.(io.Closer)
  160. return rule, loaded
  161. }) {
  162. err := rule.Close()
  163. if err != nil {
  164. return err
  165. }
  166. }
  167. return nil
  168. }
  169. func (r *abstractLogicalRule) Match(metadata *adapter.InboundContext) bool {
  170. if r.mode == C.LogicalTypeAnd {
  171. return common.All(r.rules, func(it adapter.HeadlessRule) bool {
  172. metadata.ResetRuleCache()
  173. return it.Match(metadata)
  174. }) != r.invert
  175. } else {
  176. return common.Any(r.rules, func(it adapter.HeadlessRule) bool {
  177. metadata.ResetRuleCache()
  178. return it.Match(metadata)
  179. }) != r.invert
  180. }
  181. }
  182. func (r *abstractLogicalRule) Action() adapter.RuleAction {
  183. return r.action
  184. }
  185. func (r *abstractLogicalRule) String() string {
  186. var op string
  187. switch r.mode {
  188. case C.LogicalTypeAnd:
  189. op = "&&"
  190. case C.LogicalTypeOr:
  191. op = "||"
  192. }
  193. if !r.invert {
  194. return strings.Join(F.MapToString(r.rules), " "+op+" ")
  195. } else {
  196. return "!(" + strings.Join(F.MapToString(r.rules), " "+op+" ") + ")"
  197. }
  198. }