quic_sniffer.go 8.1 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287
  1. package sniffer
  2. import (
  3. "crypto"
  4. "crypto/aes"
  5. "crypto/cipher"
  6. "encoding/binary"
  7. "errors"
  8. "io"
  9. "github.com/metacubex/mihomo/common/buf"
  10. "github.com/metacubex/mihomo/common/utils"
  11. C "github.com/metacubex/mihomo/constant"
  12. "github.com/metacubex/quic-go/quicvarint"
  13. "golang.org/x/crypto/hkdf"
  14. )
  15. // Modified from https://github.com/v2fly/v2ray-core/blob/master/common/protocol/quic/sniff.go
  16. const (
  17. versionDraft29 uint32 = 0xff00001d
  18. version1 uint32 = 0x1
  19. )
  20. var (
  21. quicSaltOld = []byte{0xaf, 0xbf, 0xec, 0x28, 0x99, 0x93, 0xd2, 0x4c, 0x9e, 0x97, 0x86, 0xf1, 0x9c, 0x61, 0x11, 0xe0, 0x43, 0x90, 0xa8, 0x99}
  22. quicSalt = []byte{0x38, 0x76, 0x2c, 0xf7, 0xf5, 0x59, 0x34, 0xb3, 0x4d, 0x17, 0x9a, 0xe6, 0xa4, 0xc8, 0x0c, 0xad, 0xcc, 0xbb, 0x7f, 0x0a}
  23. errNotQuic = errors.New("not QUIC")
  24. errNotQuicInitial = errors.New("not QUIC initial packet")
  25. )
  26. type QuicSniffer struct {
  27. *BaseSniffer
  28. }
  29. func NewQuicSniffer(snifferConfig SnifferConfig) (*QuicSniffer, error) {
  30. ports := snifferConfig.Ports
  31. if len(ports) == 0 {
  32. ports = utils.IntRanges[uint16]{utils.NewRange[uint16](443, 443)}
  33. }
  34. return &QuicSniffer{
  35. BaseSniffer: NewBaseSniffer(ports, C.UDP),
  36. }, nil
  37. }
  38. func (quic QuicSniffer) Protocol() string {
  39. return "quic"
  40. }
  41. func (quic QuicSniffer) SupportNetwork() C.NetWork {
  42. return C.UDP
  43. }
  44. func (quic QuicSniffer) SniffData(b []byte) (string, error) {
  45. buffer := buf.As(b)
  46. typeByte, err := buffer.ReadByte()
  47. if err != nil {
  48. return "", errNotQuic
  49. }
  50. isLongHeader := typeByte&0x80 > 0
  51. if !isLongHeader || typeByte&0x40 == 0 {
  52. return "", errNotQuicInitial
  53. }
  54. vb, err := buffer.ReadBytes(4)
  55. if err != nil {
  56. return "", errNotQuic
  57. }
  58. versionNumber := binary.BigEndian.Uint32(vb)
  59. if versionNumber != 0 && typeByte&0x40 == 0 {
  60. return "", errNotQuic
  61. } else if versionNumber != versionDraft29 && versionNumber != version1 {
  62. return "", errNotQuic
  63. }
  64. if (typeByte&0x30)>>4 != 0x0 {
  65. return "", errNotQuicInitial
  66. }
  67. var destConnID []byte
  68. if l, err := buffer.ReadByte(); err != nil {
  69. return "", errNotQuic
  70. } else if destConnID, err = buffer.ReadBytes(int(l)); err != nil {
  71. return "", errNotQuic
  72. }
  73. if l, err := buffer.ReadByte(); err != nil {
  74. return "", errNotQuic
  75. } else if _, err := buffer.ReadBytes(int(l)); err != nil {
  76. return "", errNotQuic
  77. }
  78. tokenLen, err := quicvarint.Read(buffer)
  79. if err != nil || tokenLen > uint64(len(b)) {
  80. return "", errNotQuic
  81. }
  82. if _, err = buffer.ReadBytes(int(tokenLen)); err != nil {
  83. return "", errNotQuic
  84. }
  85. packetLen, err := quicvarint.Read(buffer)
  86. if err != nil {
  87. return "", errNotQuic
  88. }
  89. hdrLen := len(b) - buffer.Len()
  90. var salt []byte
  91. if versionNumber == version1 {
  92. salt = quicSalt
  93. } else {
  94. salt = quicSaltOld
  95. }
  96. initialSecret := hkdf.Extract(crypto.SHA256.New, destConnID, salt)
  97. secret := hkdfExpandLabel(crypto.SHA256, initialSecret, []byte{}, "client in", crypto.SHA256.Size())
  98. hpKey := hkdfExpandLabel(crypto.SHA256, secret, []byte{}, "quic hp", 16)
  99. block, err := aes.NewCipher(hpKey)
  100. if err != nil {
  101. return "", err
  102. }
  103. cache := buf.NewPacket()
  104. defer cache.Release()
  105. mask := cache.Extend(block.BlockSize())
  106. block.Encrypt(mask, b[hdrLen+4:hdrLen+4+16])
  107. firstByte := b[0]
  108. // Encrypt/decrypt first byte.
  109. if isLongHeader {
  110. // Long header: 4 bits masked
  111. // High 4 bits are not protected.
  112. firstByte ^= mask[0] & 0x0f
  113. } else {
  114. // Short header: 5 bits masked
  115. // High 3 bits are not protected.
  116. firstByte ^= mask[0] & 0x1f
  117. }
  118. packetNumberLength := int(firstByte&0x3 + 1) // max = 4 (64-bit sequence number)
  119. extHdrLen := hdrLen + packetNumberLength
  120. // copy to avoid modify origin data
  121. extHdr := cache.Extend(extHdrLen)
  122. copy(extHdr, b)
  123. extHdr[0] = firstByte
  124. packetNumber := extHdr[hdrLen:extHdrLen]
  125. // Encrypt/decrypt packet number.
  126. for i := range packetNumber {
  127. packetNumber[i] ^= mask[1+i]
  128. }
  129. if packetNumber[0] != 0 && packetNumber[0] != 1 {
  130. return "", errNotQuicInitial
  131. }
  132. data := b[extHdrLen : int(packetLen)+hdrLen]
  133. key := hkdfExpandLabel(crypto.SHA256, secret, []byte{}, "quic key", 16)
  134. iv := hkdfExpandLabel(crypto.SHA256, secret, []byte{}, "quic iv", 12)
  135. aesCipher, err := aes.NewCipher(key)
  136. if err != nil {
  137. return "", err
  138. }
  139. aead, err := cipher.NewGCM(aesCipher)
  140. if err != nil {
  141. return "", err
  142. }
  143. // We only decrypt once, so we do not need to XOR it back.
  144. // https://github.com/quic-go/qtls-go1-20/blob/e132a0e6cb45e20ac0b705454849a11d09ba5a54/cipher_suites.go#L496
  145. for i, b := range packetNumber {
  146. iv[len(iv)-len(packetNumber)+i] ^= b
  147. }
  148. dst := cache.Extend(len(data))
  149. decrypted, err := aead.Open(dst[:0], iv, data, extHdr)
  150. if err != nil {
  151. return "", err
  152. }
  153. buffer = buf.As(decrypted)
  154. cryptoLen := uint(0)
  155. cryptoData := cache.Extend(buffer.Len())
  156. for i := 0; !buffer.IsEmpty(); i++ {
  157. frameType := byte(0x0) // Default to PADDING frame
  158. for frameType == 0x0 && !buffer.IsEmpty() {
  159. frameType, _ = buffer.ReadByte()
  160. }
  161. switch frameType {
  162. case 0x00: // PADDING frame
  163. case 0x01: // PING frame
  164. case 0x02, 0x03: // ACK frame
  165. if _, err = quicvarint.Read(buffer); err != nil { // Field: Largest Acknowledged
  166. return "", io.ErrUnexpectedEOF
  167. }
  168. if _, err = quicvarint.Read(buffer); err != nil { // Field: ACK Delay
  169. return "", io.ErrUnexpectedEOF
  170. }
  171. ackRangeCount, err := quicvarint.Read(buffer) // Field: ACK Range Count
  172. if err != nil {
  173. return "", io.ErrUnexpectedEOF
  174. }
  175. if _, err = quicvarint.Read(buffer); err != nil { // Field: First ACK Range
  176. return "", io.ErrUnexpectedEOF
  177. }
  178. for i := 0; i < int(ackRangeCount); i++ { // Field: ACK Range
  179. if _, err = quicvarint.Read(buffer); err != nil { // Field: ACK Range -> Gap
  180. return "", io.ErrUnexpectedEOF
  181. }
  182. if _, err = quicvarint.Read(buffer); err != nil { // Field: ACK Range -> ACK Range Length
  183. return "", io.ErrUnexpectedEOF
  184. }
  185. }
  186. if frameType == 0x03 {
  187. if _, err = quicvarint.Read(buffer); err != nil { // Field: ECN Counts -> ECT0 Count
  188. return "", io.ErrUnexpectedEOF
  189. }
  190. if _, err = quicvarint.Read(buffer); err != nil { // Field: ECN Counts -> ECT1 Count
  191. return "", io.ErrUnexpectedEOF
  192. }
  193. if _, err = quicvarint.Read(buffer); err != nil { //nolint:misspell // Field: ECN Counts -> ECT-CE Count
  194. return "", io.ErrUnexpectedEOF
  195. }
  196. }
  197. case 0x06: // CRYPTO frame, we will use this frame
  198. offset, err := quicvarint.Read(buffer) // Field: Offset
  199. if err != nil {
  200. return "", io.ErrUnexpectedEOF
  201. }
  202. length, err := quicvarint.Read(buffer) // Field: Length
  203. if err != nil || length > uint64(buffer.Len()) {
  204. return "", io.ErrUnexpectedEOF
  205. }
  206. if cryptoLen < uint(offset+length) {
  207. cryptoLen = uint(offset + length)
  208. }
  209. if _, err := buffer.Read(cryptoData[offset : offset+length]); err != nil { // Field: Crypto Data
  210. return "", io.ErrUnexpectedEOF
  211. }
  212. case 0x1c: // CONNECTION_CLOSE frame, only 0x1c is permitted in initial packet
  213. if _, err = quicvarint.Read(buffer); err != nil { // Field: Error Code
  214. return "", io.ErrUnexpectedEOF
  215. }
  216. if _, err = quicvarint.Read(buffer); err != nil { // Field: Frame Type
  217. return "", io.ErrUnexpectedEOF
  218. }
  219. length, err := quicvarint.Read(buffer) // Field: Reason Phrase Length
  220. if err != nil {
  221. return "", io.ErrUnexpectedEOF
  222. }
  223. if _, err := buffer.ReadBytes(int(length)); err != nil { // Field: Reason Phrase
  224. return "", io.ErrUnexpectedEOF
  225. }
  226. default:
  227. // Only above frame types are permitted in initial packet.
  228. // See https://www.rfc-editor.org/rfc/rfc9000.html#section-17.2.2-8
  229. return "", errNotQuicInitial
  230. }
  231. }
  232. domain, err := ReadClientHello(cryptoData[:cryptoLen])
  233. if err != nil {
  234. return "", err
  235. }
  236. return *domain, nil
  237. }
  238. func hkdfExpandLabel(hash crypto.Hash, secret, context []byte, label string, length int) []byte {
  239. b := make([]byte, 3, 3+6+len(label)+1+len(context))
  240. binary.BigEndian.PutUint16(b, uint16(length))
  241. b[2] = uint8(6 + len(label))
  242. b = append(b, []byte("tls13 ")...)
  243. b = append(b, []byte(label)...)
  244. b = b[:3+6+len(label)+1]
  245. b[3+6+len(label)] = uint8(len(context))
  246. b = append(b, context...)
  247. out := make([]byte, length)
  248. n, err := hkdf.Expand(hash.New, secret, b).Read(out)
  249. if err != nil || n != length {
  250. panic("quic: HKDF-Expand-Label invocation failed unexpectedly")
  251. }
  252. return out
  253. }