Home
last modified time | relevance | path

Searched refs:subStrVec (Results 1 – 5 of 5) sorted by relevance

/dports/net/ndpi/nDPI-92a1be2/src/lib/
H A Dndpi_utils.c1527 int subStrVec[30]; in ndpi_is_rce_injection() local
1534 query, length, 0, 0, subStrVec, 30); in ndpi_is_rce_injection()
/dports/math/z3/z3-z3-4.8.13/src/smt/
H A Dtheory_str.h632 …artial_in_grounded_concat(const std::vector<expr*> & strVec, const std::vector<expr*> & subStrVec);
H A Dtheory_str.cpp5545 …rtial_in_grounded_concat(const std::vector<expr*> & strVec, const std::vector<expr*> & subStrVec) { in is_partial_in_grounded_concat() argument
5547 size_t subStrCnt = subStrVec.size(); in is_partial_in_grounded_concat()
5560 if (u.str.is_string(subStrVec[0], subStrVal)) { in is_partial_in_grounded_concat()
5571 if (strVec[i] == subStrVec[0]) { in is_partial_in_grounded_concat()
5584 if (u.str.is_string(subStrVec[0], subStrHeadVal)) { in is_partial_in_grounded_concat()
5596 if (subStrVec[0] != strVec[i]) { in is_partial_in_grounded_concat()
5608 if (subStrVec[j] != strVec[i + j]) { in is_partial_in_grounded_concat()
5620 if (u.str.is_string(subStrVec[subStrCnt - 1], subStrTailVal)) { in is_partial_in_grounded_concat()
5635 if (subStrVec[subStrCnt - 1] == strVec[tailIdx]) { in is_partial_in_grounded_concat()
/dports/math/py-z3-solver/z3-z3-4.8.10/src/smt/
H A Dtheory_str.h684 …artial_in_grounded_concat(const std::vector<expr*> & strVec, const std::vector<expr*> & subStrVec);
H A Dtheory_str.cpp5539 …rtial_in_grounded_concat(const std::vector<expr*> & strVec, const std::vector<expr*> & subStrVec) { in is_partial_in_grounded_concat() argument
5541 size_t subStrCnt = subStrVec.size(); in is_partial_in_grounded_concat()
5554 if (u.str.is_string(subStrVec[0], subStrVal)) { in is_partial_in_grounded_concat()
5565 if (strVec[i] == subStrVec[0]) { in is_partial_in_grounded_concat()
5578 if (u.str.is_string(subStrVec[0], subStrHeadVal)) { in is_partial_in_grounded_concat()
5590 if (subStrVec[0] != strVec[i]) { in is_partial_in_grounded_concat()
5602 if (subStrVec[j] != strVec[i + j]) { in is_partial_in_grounded_concat()
5614 if (u.str.is_string(subStrVec[subStrCnt - 1], subStrTailVal)) { in is_partial_in_grounded_concat()
5629 if (subStrVec[subStrCnt - 1] == strVec[tailIdx]) { in is_partial_in_grounded_concat()