softmagic.c 51 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697989910010110210310410510610710810911011111211311411511611711811912012112212312412512612712812913013113213313413513613713813914014114214314414514614714814915015115215315415515615715815916016116216316416516616716816917017117217317417517617717817918018118218318418518618718818919019119219319419519619719819920020120220320420520620720820921021121221321421521621721821922022122222322422522622722822923023123223323423523623723823924024124224324424524624724824925025125225325425525625725825926026126226326426526626726826927027127227327427527627727827928028128228328428528628728828929029129229329429529629729829930030130230330430530630730830931031131231331431531631731831932032132232332432532632732832933033133233333433533633733833934034134234334434534634734834935035135235335435535635735835936036136236336436536636736836937037137237337437537637737837938038138238338438538638738838939039139239339439539639739839940040140240340440540640740840941041141241341441541641741841942042142242342442542642742842943043143243343443543643743843944044144244344444544644744844945045145245345445545645745845946046146246346446546646746846947047147247347447547647747847948048148248348448548648748848949049149249349449549649749849950050150250350450550650750850951051151251351451551651751851952052152252352452552652752852953053153253353453553653753853954054154254354454554654754854955055155255355455555655755855956056156256356456556656756856957057157257357457557657757857958058158258358458558658758858959059159259359459559659759859960060160260360460560660760860961061161261361461561661761861962062162262362462562662762862963063163263363463563663763863964064164264364464564664764864965065165265365465565665765865966066166266366466566666766866967067167267367467567667767867968068168268368468568668768868969069169269369469569669769869970070170270370470570670770870971071171271371471571671771871972072172272372472572672772872973073173273373473573673773873974074174274374474574674774874975075175275375475575675775875976076176276376476576676776876977077177277377477577677777877978078178278378478578678778878979079179279379479579679779879980080180280380480580680780880981081181281381481581681781881982082182282382482582682782882983083183283383483583683783883984084184284384484584684784884985085185285385485585685785885986086186286386486586686786886987087187287387487587687787887988088188288388488588688788888989089189289389489589689789889990090190290390490590690790890991091191291391491591691791891992092192292392492592692792892993093193293393493593693793893994094194294394494594694794894995095195295395495595695795895996096196296396496596696796896997097197297397497597697797897998098198298398498598698798898999099199299399499599699799899910001001100210031004100510061007100810091010101110121013101410151016101710181019102010211022102310241025102610271028102910301031103210331034103510361037103810391040104110421043104410451046104710481049105010511052105310541055105610571058105910601061106210631064106510661067106810691070107110721073107410751076107710781079108010811082108310841085108610871088108910901091109210931094109510961097109810991100110111021103110411051106110711081109111011111112111311141115111611171118111911201121112211231124112511261127112811291130113111321133113411351136113711381139114011411142114311441145114611471148114911501151115211531154115511561157115811591160116111621163116411651166116711681169117011711172117311741175117611771178117911801181118211831184118511861187118811891190119111921193119411951196119711981199120012011202120312041205120612071208120912101211121212131214121512161217121812191220122112221223122412251226122712281229123012311232123312341235123612371238123912401241124212431244124512461247124812491250125112521253125412551256125712581259126012611262126312641265126612671268126912701271127212731274127512761277127812791280128112821283128412851286128712881289129012911292129312941295129612971298129913001301130213031304130513061307130813091310131113121313131413151316131713181319132013211322132313241325132613271328132913301331133213331334133513361337133813391340134113421343134413451346134713481349135013511352135313541355135613571358135913601361136213631364136513661367136813691370137113721373137413751376137713781379138013811382138313841385138613871388138913901391139213931394139513961397139813991400140114021403140414051406140714081409141014111412141314141415141614171418141914201421142214231424142514261427142814291430143114321433143414351436143714381439144014411442144314441445144614471448144914501451145214531454145514561457145814591460146114621463146414651466146714681469147014711472147314741475147614771478147914801481148214831484148514861487148814891490149114921493149414951496149714981499150015011502150315041505150615071508150915101511151215131514151515161517151815191520152115221523152415251526152715281529153015311532153315341535153615371538153915401541154215431544154515461547154815491550155115521553155415551556155715581559156015611562156315641565156615671568156915701571157215731574157515761577157815791580158115821583158415851586158715881589159015911592159315941595159615971598159916001601160216031604160516061607160816091610161116121613161416151616161716181619162016211622162316241625162616271628162916301631163216331634163516361637163816391640164116421643164416451646164716481649165016511652165316541655165616571658165916601661166216631664166516661667166816691670167116721673167416751676167716781679168016811682168316841685168616871688168916901691169216931694169516961697169816991700170117021703170417051706170717081709171017111712171317141715171617171718171917201721172217231724172517261727172817291730173117321733173417351736173717381739174017411742174317441745174617471748174917501751175217531754175517561757175817591760176117621763176417651766176717681769177017711772177317741775177617771778177917801781178217831784178517861787178817891790179117921793179417951796179717981799180018011802180318041805180618071808180918101811181218131814181518161817181818191820182118221823182418251826182718281829183018311832183318341835183618371838183918401841184218431844184518461847184818491850185118521853185418551856185718581859186018611862186318641865186618671868186918701871187218731874187518761877187818791880188118821883188418851886188718881889189018911892189318941895189618971898189919001901190219031904190519061907190819091910191119121913191419151916191719181919192019211922192319241925192619271928192919301931193219331934193519361937193819391940194119421943194419451946194719481949195019511952195319541955195619571958195919601961196219631964196519661967196819691970197119721973197419751976197719781979198019811982198319841985198619871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202520262027202820292030203120322033203420352036203720382039204020412042204320442045204620472048204920502051205220532054205520562057205820592060206120622063206420652066206720682069207020712072207320742075207620772078207920802081208220832084208520862087208820892090209120922093209420952096209720982099210021012102210321042105210621072108210921102111211221132114211521162117211821192120212121222123212421252126212721282129213021312132213321342135213621372138213921402141214221432144214521462147214821492150215121522153215421552156215721582159216021612162216321642165216621672168216921702171217221732174217521762177217821792180218121822183218421852186218721882189219021912192219321942195219621972198219922002201220222032204220522062207220822092210221122122213221422152216221722182219222022212222222322242225222622272228222922302231223222332234
  1. /*
  2. * Copyright (c) Ian F. Darwin 1986-1995.
  3. * Software written by Ian F. Darwin and others;
  4. * maintained 1995-present by Christos Zoulas and others.
  5. *
  6. * Redistribution and use in source and binary forms, with or without
  7. * modification, are permitted provided that the following conditions
  8. * are met:
  9. * 1. Redistributions of source code must retain the above copyright
  10. * notice immediately at the beginning of the file, without modification,
  11. * this list of conditions, and the following disclaimer.
  12. * 2. Redistributions in binary form must reproduce the above copyright
  13. * notice, this list of conditions and the following disclaimer in the
  14. * documentation and/or other materials provided with the distribution.
  15. *
  16. * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
  17. * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
  18. * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
  19. * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE FOR
  20. * ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
  21. * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
  22. * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
  23. * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
  24. * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
  25. * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
  26. * SUCH DAMAGE.
  27. */
  28. /*
  29. * softmagic - interpret variable magic from MAGIC
  30. */
  31. #include "file.h"
  32. #ifndef lint
  33. FILE_RCSID("@(#)$File: softmagic.c,v 1.259 2018/03/11 01:23:52 christos Exp $")
  34. #endif /* lint */
  35. #include "magic.h"
  36. #include <assert.h>
  37. #include <string.h>
  38. #include <ctype.h>
  39. #include <stdlib.h>
  40. #include <time.h>
  41. #include "der.h"
  42. #ifndef PREG_OFFSET_CAPTURE
  43. # define PREG_OFFSET_CAPTURE (1<<8)
  44. #endif
  45. private int match(struct magic_set *, struct magic *, uint32_t,
  46. const struct buffer *, size_t, int, int, int, uint16_t *,
  47. uint16_t *, int *, int *, int *);
  48. private int mget(struct magic_set *, struct magic *, const struct buffer *,
  49. const unsigned char *, size_t,
  50. size_t, unsigned int, int, int, int, uint16_t *,
  51. uint16_t *, int *, int *, int *);
  52. private int msetoffset(struct magic_set *, struct magic *, struct buffer *,
  53. const struct buffer *, size_t, unsigned int);
  54. private int magiccheck(struct magic_set *, struct magic *);
  55. private int32_t mprint(struct magic_set *, struct magic *,
  56. const struct buffer *);
  57. private int moffset(struct magic_set *, struct magic *, const struct buffer *,
  58. int32_t *);
  59. private void mdebug(uint32_t, const char *, size_t);
  60. private int mcopy(struct magic_set *, union VALUETYPE *, int, int,
  61. const unsigned char *, uint32_t, size_t, struct magic *);
  62. private int mconvert(struct magic_set *, struct magic *, int);
  63. private int print_sep(struct magic_set *, int);
  64. private int handle_annotation(struct magic_set *, struct magic *,
  65. const struct buffer *, int);
  66. private int cvt_8(union VALUETYPE *, const struct magic *);
  67. private int cvt_16(union VALUETYPE *, const struct magic *);
  68. private int cvt_32(union VALUETYPE *, const struct magic *);
  69. private int cvt_64(union VALUETYPE *, const struct magic *);
  70. #define OFFSET_OOB(n, o, i) ((n) < (uint32_t)(o) || (i) > ((n) - (o)))
  71. #define BE64(p) (((uint64_t)(p)->hq[0]<<56)|((uint64_t)(p)->hq[1]<<48)| \
  72. ((uint64_t)(p)->hq[2]<<40)|((uint64_t)(p)->hq[3]<<32)| \
  73. ((uint64_t)(p)->hq[4]<<24)|((uint64_t)(p)->hq[5]<<16)| \
  74. ((uint64_t)(p)->hq[6]<<8)|((uint64_t)(p)->hq[7]))
  75. #define LE64(p) (((uint64_t)(p)->hq[7]<<56)|((uint64_t)(p)->hq[6]<<48)| \
  76. ((uint64_t)(p)->hq[5]<<40)|((uint64_t)(p)->hq[4]<<32)| \
  77. ((uint64_t)(p)->hq[3]<<24)|((uint64_t)(p)->hq[2]<<16)| \
  78. ((uint64_t)(p)->hq[1]<<8)|((uint64_t)(p)->hq[0]))
  79. #define LE32(p) (((uint32_t)(p)->hl[3]<<24)|((uint32_t)(p)->hl[2]<<16)| \
  80. ((uint32_t)(p)->hl[1]<<8)|((uint32_t)(p)->hl[0]))
  81. #define BE32(p) (((uint32_t)(p)->hl[0]<<24)|((uint32_t)(p)->hl[1]<<16)| \
  82. ((uint32_t)(p)->hl[2]<<8)|((uint32_t)(p)->hl[3]))
  83. #define ME32(p) (((uint32_t)(p)->hl[1]<<24)|((uint32_t)(p)->hl[0]<<16)| \
  84. ((uint32_t)(p)->hl[3]<<8)|((uint32_t)(p)->hl[2]))
  85. #define BE16(p) (((uint16_t)(p)->hs[0]<<8)|((uint16_t)(p)->hs[1]))
  86. #define LE16(p) (((uint16_t)(p)->hs[1]<<8)|((uint16_t)(p)->hs[0]))
  87. #define SEXT(s,v,p) ((s)?(intmax_t)(int##v##_t)(p):(intmax_t)(uint##v##_t)(p))
  88. /*
  89. * softmagic - lookup one file in parsed, in-memory copy of database
  90. * Passed the name and FILE * of one file to be typed.
  91. */
  92. /*ARGSUSED1*/ /* nbytes passed for regularity, maybe need later */
  93. protected int
  94. file_softmagic(struct magic_set *ms, const struct buffer *b,
  95. uint16_t *indir_count, uint16_t *name_count, int mode, int text)
  96. {
  97. struct mlist *ml;
  98. int rv, printed_something = 0, need_separator = 0;
  99. uint16_t nc, ic;
  100. if (name_count == NULL) {
  101. nc = 0;
  102. name_count = &nc;
  103. }
  104. if (indir_count == NULL) {
  105. ic = 0;
  106. indir_count = &ic;
  107. }
  108. for (ml = ms->mlist[0]->next; ml != ms->mlist[0]; ml = ml->next)
  109. if ((rv = match(ms, ml->magic, ml->nmagic, b, 0, mode,
  110. text, 0, indir_count, name_count,
  111. &printed_something, &need_separator, NULL)) != 0)
  112. return rv;
  113. return 0;
  114. }
  115. #if defined(FILE_FMTDEBUG) && defined(HAVE_FMTCHECK)
  116. #define F(a, b, c) file_fmtcheck((a), (b), (c), __FILE__, __LINE__)
  117. private const char * __attribute__((__format_arg__(3)))
  118. file_fmtcheck(struct magic_set *ms, const char *desc, const char *def,
  119. const char *file, size_t line)
  120. {
  121. const char *ptr = fmtcheck(desc, def);
  122. if (ptr == def)
  123. file_magerror(ms,
  124. "%s, %" SIZE_T_FORMAT "u: format `%s' does not match"
  125. " with `%s'", file, line, desc, def);
  126. return ptr;
  127. }
  128. #elif defined(HAVE_FMTCHECK)
  129. #define F(a, b, c) fmtcheck((b), (c))
  130. #else
  131. #define F(a, b, c) ((b))
  132. #endif
  133. /*
  134. * Go through the whole list, stopping if you find a match. Process all
  135. * the continuations of that match before returning.
  136. *
  137. * We support multi-level continuations:
  138. *
  139. * At any time when processing a successful top-level match, there is a
  140. * current continuation level; it represents the level of the last
  141. * successfully matched continuation.
  142. *
  143. * Continuations above that level are skipped as, if we see one, it
  144. * means that the continuation that controls them - i.e, the
  145. * lower-level continuation preceding them - failed to match.
  146. *
  147. * Continuations below that level are processed as, if we see one,
  148. * it means we've finished processing or skipping higher-level
  149. * continuations under the control of a successful or unsuccessful
  150. * lower-level continuation, and are now seeing the next lower-level
  151. * continuation and should process it. The current continuation
  152. * level reverts to the level of the one we're seeing.
  153. *
  154. * Continuations at the current level are processed as, if we see
  155. * one, there's no lower-level continuation that may have failed.
  156. *
  157. * If a continuation matches, we bump the current continuation level
  158. * so that higher-level continuations are processed.
  159. */
  160. private int
  161. match(struct magic_set *ms, struct magic *magic, uint32_t nmagic,
  162. const struct buffer *b, size_t offset, int mode, int text,
  163. int flip, uint16_t *indir_count, uint16_t *name_count,
  164. int *printed_something, int *need_separator, int *returnval)
  165. {
  166. uint32_t magindex = 0;
  167. unsigned int cont_level = 0;
  168. int returnvalv = 0, e; /* if a match is found it is set to 1*/
  169. int firstline = 1; /* a flag to print X\n X\n- X */
  170. struct buffer bb;
  171. int print = (ms->flags & MAGIC_NODESC) == 0;
  172. if (returnval == NULL)
  173. returnval = &returnvalv;
  174. if (file_check_mem(ms, cont_level) == -1)
  175. return -1;
  176. for (magindex = 0; magindex < nmagic; magindex++) {
  177. int flush = 0;
  178. struct magic *m = &magic[magindex];
  179. if (m->type != FILE_NAME)
  180. if ((IS_LIBMAGIC_STRING(m->type) &&
  181. #define FLT (STRING_BINTEST | STRING_TEXTTEST)
  182. ((text && (m->str_flags & FLT) == STRING_BINTEST) ||
  183. (!text && (m->str_flags & FLT) == STRING_TEXTTEST))) ||
  184. (m->flag & mode) != mode) {
  185. flush:
  186. /* Skip sub-tests */
  187. while (magindex < nmagic - 1 &&
  188. magic[magindex + 1].cont_level != 0)
  189. magindex++;
  190. cont_level = 0;
  191. continue; /* Skip to next top-level test*/
  192. }
  193. if (msetoffset(ms, m, &bb, b, offset, cont_level) == -1)
  194. goto flush;
  195. ms->line = m->lineno;
  196. /* if main entry matches, print it... */
  197. switch (mget(ms, m, b, bb.fbuf, bb.flen, offset, cont_level,
  198. mode, text, flip, indir_count, name_count,
  199. printed_something, need_separator, returnval)) {
  200. case -1:
  201. return -1;
  202. case 0:
  203. flush = m->reln != '!';
  204. break;
  205. default:
  206. if (m->type == FILE_INDIRECT)
  207. *returnval = 1;
  208. switch (magiccheck(ms, m)) {
  209. case -1:
  210. return -1;
  211. case 0:
  212. flush++;
  213. break;
  214. default:
  215. flush = 0;
  216. break;
  217. }
  218. break;
  219. }
  220. if (flush) {
  221. /*
  222. * main entry didn't match,
  223. * flush its continuations
  224. */
  225. goto flush;
  226. }
  227. if ((e = handle_annotation(ms, m, b, firstline)) != 0) {
  228. *need_separator = 1;
  229. *printed_something = 1;
  230. *returnval = 1;
  231. return e;
  232. }
  233. /*
  234. * If we are going to print something, we'll need to print
  235. * a blank before we print something else.
  236. */
  237. if (*m->desc) {
  238. *need_separator = 1;
  239. *printed_something = 1;
  240. if (print_sep(ms, firstline) == -1)
  241. return -1;
  242. }
  243. if (print && mprint(ms, m, b) == -1)
  244. return -1;
  245. switch (moffset(ms, m, &bb, &ms->c.li[cont_level].off)) {
  246. case -1:
  247. case 0:
  248. goto flush;
  249. default:
  250. break;
  251. }
  252. /* and any continuations that match */
  253. if (file_check_mem(ms, ++cont_level) == -1)
  254. return -1;
  255. while (magindex + 1 < nmagic &&
  256. magic[magindex + 1].cont_level != 0) {
  257. m = &magic[++magindex];
  258. ms->line = m->lineno; /* for messages */
  259. if (cont_level < m->cont_level)
  260. continue;
  261. if (cont_level > m->cont_level) {
  262. /*
  263. * We're at the end of the level
  264. * "cont_level" continuations.
  265. */
  266. cont_level = m->cont_level;
  267. }
  268. if (msetoffset(ms, m, &bb, b, offset, cont_level) == -1)
  269. goto flush;
  270. if (m->flag & OFFADD) {
  271. ms->offset +=
  272. ms->c.li[cont_level - 1].off;
  273. }
  274. #ifdef ENABLE_CONDITIONALS
  275. if (m->cond == COND_ELSE ||
  276. m->cond == COND_ELIF) {
  277. if (ms->c.li[cont_level].last_match == 1)
  278. continue;
  279. }
  280. #endif
  281. switch (mget(ms, m, b, bb.fbuf, bb.flen, offset,
  282. cont_level, mode, text, flip, indir_count,
  283. name_count, printed_something, need_separator,
  284. returnval)) {
  285. case -1:
  286. return -1;
  287. case 0:
  288. if (m->reln != '!')
  289. continue;
  290. flush = 1;
  291. break;
  292. default:
  293. if (m->type == FILE_INDIRECT)
  294. *returnval = 1;
  295. flush = 0;
  296. break;
  297. }
  298. switch (flush ? 1 : magiccheck(ms, m)) {
  299. case -1:
  300. return -1;
  301. case 0:
  302. #ifdef ENABLE_CONDITIONALS
  303. ms->c.li[cont_level].last_match = 0;
  304. #endif
  305. break;
  306. default:
  307. #ifdef ENABLE_CONDITIONALS
  308. ms->c.li[cont_level].last_match = 1;
  309. #endif
  310. if (m->type == FILE_CLEAR)
  311. ms->c.li[cont_level].got_match = 0;
  312. else if (ms->c.li[cont_level].got_match) {
  313. if (m->type == FILE_DEFAULT)
  314. break;
  315. } else
  316. ms->c.li[cont_level].got_match = 1;
  317. if ((e = handle_annotation(ms, m, b, firstline))
  318. != 0) {
  319. *need_separator = 1;
  320. *printed_something = 1;
  321. *returnval = 1;
  322. return e;
  323. }
  324. /*
  325. * If we are going to print something,
  326. * make sure that we have a separator first.
  327. */
  328. if (*m->desc) {
  329. if (!*printed_something) {
  330. *printed_something = 1;
  331. if (print_sep(ms, firstline)
  332. == -1)
  333. return -1;
  334. }
  335. }
  336. /*
  337. * This continuation matched. Print
  338. * its message, with a blank before it
  339. * if the previous item printed and
  340. * this item isn't empty.
  341. */
  342. /* space if previous printed */
  343. if (*need_separator
  344. && ((m->flag & NOSPACE) == 0)
  345. && *m->desc) {
  346. if (print &&
  347. file_printf(ms, " ") == -1)
  348. return -1;
  349. *need_separator = 0;
  350. }
  351. if (print && mprint(ms, m, b) == -1)
  352. return -1;
  353. switch (moffset(ms, m, &bb,
  354. &ms->c.li[cont_level].off)) {
  355. case -1:
  356. case 0:
  357. flush = 1;
  358. cont_level--;
  359. break;
  360. default:
  361. break;
  362. }
  363. if (*m->desc)
  364. *need_separator = 1;
  365. /*
  366. * If we see any continuations
  367. * at a higher level,
  368. * process them.
  369. */
  370. if (file_check_mem(ms, ++cont_level) == -1)
  371. return -1;
  372. break;
  373. }
  374. }
  375. if (*printed_something) {
  376. firstline = 0;
  377. if (print)
  378. *returnval = 1;
  379. }
  380. if ((ms->flags & MAGIC_CONTINUE) == 0 && *printed_something) {
  381. return *returnval; /* don't keep searching */
  382. }
  383. cont_level = 0;
  384. }
  385. return *returnval; /* This is hit if -k is set or there is no match */
  386. }
  387. private int
  388. check_fmt(struct magic_set *ms, const char *fmt)
  389. {
  390. pcre_cache_entry *pce;
  391. int rv = -1;
  392. zend_string *pattern;
  393. if (strchr(fmt, '%') == NULL)
  394. return 0;
  395. pattern = zend_string_init("~%[-0-9\\.]*s~", sizeof("~%[-0-9\\.]*s~") - 1, 0);
  396. if ((pce = pcre_get_compiled_regex_cache_ex(pattern, 0)) == NULL) {
  397. rv = -1;
  398. } else {
  399. pcre2_code *re = php_pcre_pce_re(pce);
  400. pcre2_match_data *match_data = php_pcre_create_match_data(0, re);
  401. if (match_data) {
  402. rv = pcre2_match(re, (PCRE2_SPTR)fmt, strlen(fmt), 0, 0, match_data, php_pcre_mctx()) > 0;
  403. php_pcre_free_match_data(match_data);
  404. }
  405. }
  406. zend_string_release(pattern);
  407. return rv;
  408. }
  409. static int
  410. varexpand(char *buf, size_t len, const struct buffer *b, const char *str)
  411. {
  412. const char *ptr, *sptr, *e, *t, *ee, *et;
  413. size_t l;
  414. for (sptr = str; (ptr = strstr(sptr, "${")) != NULL;) {
  415. l = (size_t)(ptr - sptr);
  416. if (l >= len)
  417. return -1;
  418. memcpy(buf, sptr, l);
  419. buf += l;
  420. len -= l;
  421. ptr += 2;
  422. if (!*ptr || ptr[1] != '?')
  423. return -1;
  424. for (et = t = ptr + 2; *et && *et != ':'; et++)
  425. continue;
  426. if (*et != ':')
  427. return -1;
  428. for (ee = e = et + 1; *ee && *ee != '}'; ee++)
  429. continue;
  430. if (*ee != '}')
  431. return -1;
  432. switch (*ptr) {
  433. case 'x':
  434. if (b->st.st_mode & 0111) {
  435. ptr = t;
  436. l = et - t;
  437. } else {
  438. ptr = e;
  439. l = ee - e;
  440. }
  441. break;
  442. default:
  443. return -1;
  444. }
  445. if (l >= len)
  446. return -1;
  447. memcpy(buf, ptr, l);
  448. buf += l;
  449. len -= l;
  450. sptr = ee + 1;
  451. }
  452. l = strlen(sptr);
  453. if (l >= len)
  454. return -1;
  455. memcpy(buf, sptr, l);
  456. buf[l] = '\0';
  457. return 0;
  458. }
  459. private int32_t
  460. mprint(struct magic_set *ms, struct magic *m, const struct buffer *b)
  461. {
  462. uint64_t v;
  463. float vf;
  464. double vd;
  465. int64_t t = 0;
  466. char buf[128], tbuf[26], sbuf[512], ebuf[512];
  467. const char *desc;
  468. union VALUETYPE *p = &ms->ms_value;
  469. if (varexpand(ebuf, sizeof(ebuf), b, m->desc) == -1)
  470. desc = m->desc;
  471. else
  472. desc = ebuf;
  473. switch (m->type) {
  474. case FILE_BYTE:
  475. v = file_signextend(ms, m, (uint64_t)p->b);
  476. switch (check_fmt(ms, desc)) {
  477. case -1:
  478. return -1;
  479. case 1:
  480. (void)snprintf(buf, sizeof(buf), "%d",
  481. (unsigned char)v);
  482. if (file_printf(ms, F(ms, desc, "%s"), buf) == -1)
  483. return -1;
  484. break;
  485. default:
  486. if (file_printf(ms, F(ms, desc, "%d"),
  487. (unsigned char) v) == -1)
  488. return -1;
  489. break;
  490. }
  491. t = ms->offset + sizeof(char);
  492. break;
  493. case FILE_SHORT:
  494. case FILE_BESHORT:
  495. case FILE_LESHORT:
  496. v = file_signextend(ms, m, (uint64_t)p->h);
  497. switch (check_fmt(ms, desc)) {
  498. case -1:
  499. return -1;
  500. case 1:
  501. (void)snprintf(buf, sizeof(buf), "%u",
  502. (unsigned short)v);
  503. if (file_printf(ms, F(ms, desc, "%s"), buf) == -1)
  504. return -1;
  505. break;
  506. default:
  507. if (file_printf(ms, F(ms, desc, "%u"),
  508. (unsigned short) v) == -1)
  509. return -1;
  510. break;
  511. }
  512. t = ms->offset + sizeof(short);
  513. break;
  514. case FILE_LONG:
  515. case FILE_BELONG:
  516. case FILE_LELONG:
  517. case FILE_MELONG:
  518. v = file_signextend(ms, m, (uint64_t)p->l);
  519. switch (check_fmt(ms, desc)) {
  520. case -1:
  521. return -1;
  522. case 1:
  523. (void)snprintf(buf, sizeof(buf), "%u", (uint32_t) v);
  524. if (file_printf(ms, F(ms, desc, "%s"), buf) == -1)
  525. return -1;
  526. break;
  527. default:
  528. if (file_printf(ms, F(ms, desc, "%u"), (uint32_t) v) == -1)
  529. return -1;
  530. break;
  531. }
  532. t = ms->offset + sizeof(int32_t);
  533. break;
  534. case FILE_QUAD:
  535. case FILE_BEQUAD:
  536. case FILE_LEQUAD:
  537. v = file_signextend(ms, m, p->q);
  538. switch (check_fmt(ms, desc)) {
  539. case -1:
  540. return -1;
  541. case 1:
  542. (void)snprintf(buf, sizeof(buf), "%" INT64_T_FORMAT "u",
  543. (unsigned long long)v);
  544. if (file_printf(ms, F(ms, desc, "%s"), buf) == -1)
  545. return -1;
  546. break;
  547. default:
  548. if (file_printf(ms, F(ms, desc, "%" INT64_T_FORMAT "u"),
  549. (unsigned long long) v) == -1)
  550. return -1;
  551. break;
  552. }
  553. t = ms->offset + sizeof(int64_t);
  554. break;
  555. case FILE_STRING:
  556. case FILE_PSTRING:
  557. case FILE_BESTRING16:
  558. case FILE_LESTRING16:
  559. if (m->reln == '=' || m->reln == '!') {
  560. if (file_printf(ms, F(ms, desc, "%s"),
  561. file_printable(sbuf, sizeof(sbuf), m->value.s))
  562. == -1)
  563. return -1;
  564. t = ms->offset + m->vallen;
  565. }
  566. else {
  567. char *str = p->s;
  568. /* compute t before we mangle the string? */
  569. t = ms->offset + strlen(str);
  570. if (*m->value.s == '\0')
  571. str[strcspn(str, "\r\n")] = '\0';
  572. if (m->str_flags & STRING_TRIM) {
  573. char *last;
  574. while (isspace((unsigned char)*str))
  575. str++;
  576. last = str;
  577. while (*last)
  578. last++;
  579. --last;
  580. while (isspace((unsigned char)*last))
  581. last--;
  582. *++last = '\0';
  583. }
  584. if (file_printf(ms, F(ms, desc, "%s"),
  585. file_printable(sbuf, sizeof(sbuf), str)) == -1)
  586. return -1;
  587. if (m->type == FILE_PSTRING)
  588. t += file_pstring_length_size(m);
  589. }
  590. break;
  591. case FILE_DATE:
  592. case FILE_BEDATE:
  593. case FILE_LEDATE:
  594. case FILE_MEDATE:
  595. if (file_printf(ms, F(ms, desc, "%s"),
  596. file_fmttime(p->l, 0, tbuf)) == -1)
  597. return -1;
  598. t = ms->offset + sizeof(uint32_t);
  599. break;
  600. case FILE_LDATE:
  601. case FILE_BELDATE:
  602. case FILE_LELDATE:
  603. case FILE_MELDATE:
  604. if (file_printf(ms, F(ms, desc, "%s"),
  605. file_fmttime(p->l, FILE_T_LOCAL, tbuf)) == -1)
  606. return -1;
  607. t = ms->offset + sizeof(uint32_t);
  608. break;
  609. case FILE_QDATE:
  610. case FILE_BEQDATE:
  611. case FILE_LEQDATE:
  612. if (file_printf(ms, F(ms, desc, "%s"),
  613. file_fmttime(p->q, 0, tbuf)) == -1)
  614. return -1;
  615. t = ms->offset + sizeof(uint64_t);
  616. break;
  617. case FILE_QLDATE:
  618. case FILE_BEQLDATE:
  619. case FILE_LEQLDATE:
  620. if (file_printf(ms, F(ms, desc, "%s"),
  621. file_fmttime(p->q, FILE_T_LOCAL, tbuf)) == -1)
  622. return -1;
  623. t = ms->offset + sizeof(uint64_t);
  624. break;
  625. case FILE_QWDATE:
  626. case FILE_BEQWDATE:
  627. case FILE_LEQWDATE:
  628. if (file_printf(ms, F(ms, desc, "%s"),
  629. file_fmttime(p->q, FILE_T_WINDOWS, tbuf)) == -1)
  630. return -1;
  631. t = ms->offset + sizeof(uint64_t);
  632. break;
  633. case FILE_FLOAT:
  634. case FILE_BEFLOAT:
  635. case FILE_LEFLOAT:
  636. vf = p->f;
  637. switch (check_fmt(ms, desc)) {
  638. case -1:
  639. return -1;
  640. case 1:
  641. (void)snprintf(buf, sizeof(buf), "%g", vf);
  642. if (file_printf(ms, F(ms, desc, "%s"), buf) == -1)
  643. return -1;
  644. break;
  645. default:
  646. if (file_printf(ms, F(ms, desc, "%g"), vf) == -1)
  647. return -1;
  648. break;
  649. }
  650. t = ms->offset + sizeof(float);
  651. break;
  652. case FILE_DOUBLE:
  653. case FILE_BEDOUBLE:
  654. case FILE_LEDOUBLE:
  655. vd = p->d;
  656. switch (check_fmt(ms, desc)) {
  657. case -1:
  658. return -1;
  659. case 1:
  660. (void)snprintf(buf, sizeof(buf), "%g", vd);
  661. if (file_printf(ms, F(ms, desc, "%s"), buf) == -1)
  662. return -1;
  663. break;
  664. default:
  665. if (file_printf(ms, F(ms, desc, "%g"), vd) == -1)
  666. return -1;
  667. break;
  668. }
  669. t = ms->offset + sizeof(double);
  670. break;
  671. case FILE_SEARCH:
  672. case FILE_REGEX: {
  673. char *cp;
  674. int rval;
  675. cp = estrndup((const char *)ms->search.s, ms->search.rm_len);
  676. rval = file_printf(ms, F(ms, desc, "%s"),
  677. file_printable(sbuf, sizeof(sbuf), cp));
  678. efree(cp);
  679. if (rval == -1)
  680. return -1;
  681. if ((m->str_flags & REGEX_OFFSET_START))
  682. t = ms->search.offset;
  683. else
  684. t = ms->search.offset + ms->search.rm_len;
  685. break;
  686. }
  687. case FILE_DEFAULT:
  688. case FILE_CLEAR:
  689. if (file_printf(ms, "%s", m->desc) == -1)
  690. return -1;
  691. t = ms->offset;
  692. break;
  693. case FILE_INDIRECT:
  694. case FILE_USE:
  695. case FILE_NAME:
  696. t = ms->offset;
  697. break;
  698. case FILE_DER:
  699. if (file_printf(ms, F(ms, desc, "%s"),
  700. file_printable(sbuf, sizeof(sbuf), ms->ms_value.s)) == -1)
  701. return -1;
  702. t = ms->offset;
  703. break;
  704. default:
  705. file_magerror(ms, "invalid m->type (%d) in mprint()", m->type);
  706. return -1;
  707. }
  708. return (int32_t)t;
  709. }
  710. private int
  711. moffset(struct magic_set *ms, struct magic *m, const struct buffer *b,
  712. int32_t *op)
  713. {
  714. size_t nbytes = b->flen;
  715. int32_t o;
  716. switch (m->type) {
  717. case FILE_BYTE:
  718. o = CAST(int32_t, (ms->offset + sizeof(char)));
  719. break;
  720. case FILE_SHORT:
  721. case FILE_BESHORT:
  722. case FILE_LESHORT:
  723. o = CAST(int32_t, (ms->offset + sizeof(short)));
  724. break;
  725. case FILE_LONG:
  726. case FILE_BELONG:
  727. case FILE_LELONG:
  728. case FILE_MELONG:
  729. o = CAST(int32_t, (ms->offset + sizeof(int32_t)));
  730. break;
  731. case FILE_QUAD:
  732. case FILE_BEQUAD:
  733. case FILE_LEQUAD:
  734. o = CAST(int32_t, (ms->offset + sizeof(int64_t)));
  735. break;
  736. case FILE_STRING:
  737. case FILE_PSTRING:
  738. case FILE_BESTRING16:
  739. case FILE_LESTRING16:
  740. if (m->reln == '=' || m->reln == '!') {
  741. o = ms->offset + m->vallen;
  742. } else {
  743. union VALUETYPE *p = &ms->ms_value;
  744. if (*m->value.s == '\0')
  745. p->s[strcspn(p->s, "\r\n")] = '\0';
  746. o = CAST(uint32_t, (ms->offset + strlen(p->s)));
  747. if (m->type == FILE_PSTRING)
  748. o += (uint32_t)file_pstring_length_size(m);
  749. }
  750. break;
  751. case FILE_DATE:
  752. case FILE_BEDATE:
  753. case FILE_LEDATE:
  754. case FILE_MEDATE:
  755. o = CAST(int32_t, (ms->offset + sizeof(uint32_t)));
  756. break;
  757. case FILE_LDATE:
  758. case FILE_BELDATE:
  759. case FILE_LELDATE:
  760. case FILE_MELDATE:
  761. o = CAST(int32_t, (ms->offset + sizeof(uint32_t)));
  762. break;
  763. case FILE_QDATE:
  764. case FILE_BEQDATE:
  765. case FILE_LEQDATE:
  766. o = CAST(int32_t, (ms->offset + sizeof(uint64_t)));
  767. break;
  768. case FILE_QLDATE:
  769. case FILE_BEQLDATE:
  770. case FILE_LEQLDATE:
  771. o = CAST(int32_t, (ms->offset + sizeof(uint64_t)));
  772. break;
  773. case FILE_FLOAT:
  774. case FILE_BEFLOAT:
  775. case FILE_LEFLOAT:
  776. o = CAST(int32_t, (ms->offset + sizeof(float)));
  777. break;
  778. case FILE_DOUBLE:
  779. case FILE_BEDOUBLE:
  780. case FILE_LEDOUBLE:
  781. o = CAST(int32_t, (ms->offset + sizeof(double)));
  782. break;
  783. case FILE_REGEX:
  784. if ((m->str_flags & REGEX_OFFSET_START) != 0)
  785. o = CAST(int32_t, ms->search.offset);
  786. else
  787. o = CAST(int32_t,
  788. (ms->search.offset + ms->search.rm_len));
  789. break;
  790. case FILE_SEARCH:
  791. if ((m->str_flags & REGEX_OFFSET_START) != 0)
  792. o = CAST(int32_t, ms->search.offset);
  793. else
  794. o = CAST(int32_t, (ms->search.offset + m->vallen));
  795. break;
  796. case FILE_CLEAR:
  797. case FILE_DEFAULT:
  798. case FILE_INDIRECT:
  799. o = ms->offset;
  800. break;
  801. case FILE_DER:
  802. {
  803. o = der_offs(ms, m, nbytes);
  804. if (o == -1 || (size_t)o > nbytes) {
  805. if ((ms->flags & MAGIC_DEBUG) != 0) {
  806. (void)fprintf(stderr,
  807. "Bad DER offset %d nbytes=%zu",
  808. o, nbytes);
  809. }
  810. *op = 0;
  811. return 0;
  812. }
  813. break;
  814. }
  815. default:
  816. o = 0;
  817. break;
  818. }
  819. if ((size_t)o > nbytes) {
  820. #if 0
  821. file_error(ms, 0, "Offset out of range %zu > %zu",
  822. (size_t)o, nbytes);
  823. #endif
  824. return -1;
  825. }
  826. *op = o;
  827. return 1;
  828. }
  829. private uint32_t
  830. cvt_id3(struct magic_set *ms, uint32_t v)
  831. {
  832. v = ((((v >> 0) & 0x7f) << 0) |
  833. (((v >> 8) & 0x7f) << 7) |
  834. (((v >> 16) & 0x7f) << 14) |
  835. (((v >> 24) & 0x7f) << 21));
  836. if ((ms->flags & MAGIC_DEBUG) != 0)
  837. fprintf(stderr, "id3 offs=%u\n", v);
  838. return v;
  839. }
  840. private int
  841. cvt_flip(int type, int flip)
  842. {
  843. if (flip == 0)
  844. return type;
  845. switch (type) {
  846. case FILE_BESHORT:
  847. return FILE_LESHORT;
  848. case FILE_BELONG:
  849. return FILE_LELONG;
  850. case FILE_BEDATE:
  851. return FILE_LEDATE;
  852. case FILE_BELDATE:
  853. return FILE_LELDATE;
  854. case FILE_BEQUAD:
  855. return FILE_LEQUAD;
  856. case FILE_BEQDATE:
  857. return FILE_LEQDATE;
  858. case FILE_BEQLDATE:
  859. return FILE_LEQLDATE;
  860. case FILE_BEQWDATE:
  861. return FILE_LEQWDATE;
  862. case FILE_LESHORT:
  863. return FILE_BESHORT;
  864. case FILE_LELONG:
  865. return FILE_BELONG;
  866. case FILE_LEDATE:
  867. return FILE_BEDATE;
  868. case FILE_LELDATE:
  869. return FILE_BELDATE;
  870. case FILE_LEQUAD:
  871. return FILE_BEQUAD;
  872. case FILE_LEQDATE:
  873. return FILE_BEQDATE;
  874. case FILE_LEQLDATE:
  875. return FILE_BEQLDATE;
  876. case FILE_LEQWDATE:
  877. return FILE_BEQWDATE;
  878. case FILE_BEFLOAT:
  879. return FILE_LEFLOAT;
  880. case FILE_LEFLOAT:
  881. return FILE_BEFLOAT;
  882. case FILE_BEDOUBLE:
  883. return FILE_LEDOUBLE;
  884. case FILE_LEDOUBLE:
  885. return FILE_BEDOUBLE;
  886. default:
  887. return type;
  888. }
  889. }
  890. #define DO_CVT(fld, cast) \
  891. if (m->num_mask) \
  892. switch (m->mask_op & FILE_OPS_MASK) { \
  893. case FILE_OPAND: \
  894. p->fld &= cast m->num_mask; \
  895. break; \
  896. case FILE_OPOR: \
  897. p->fld |= cast m->num_mask; \
  898. break; \
  899. case FILE_OPXOR: \
  900. p->fld ^= cast m->num_mask; \
  901. break; \
  902. case FILE_OPADD: \
  903. p->fld += cast m->num_mask; \
  904. break; \
  905. case FILE_OPMINUS: \
  906. p->fld -= cast m->num_mask; \
  907. break; \
  908. case FILE_OPMULTIPLY: \
  909. p->fld *= cast m->num_mask; \
  910. break; \
  911. case FILE_OPDIVIDE: \
  912. if (cast m->num_mask == 0) \
  913. return -1; \
  914. p->fld /= cast m->num_mask; \
  915. break; \
  916. case FILE_OPMODULO: \
  917. if (cast m->num_mask == 0) \
  918. return -1; \
  919. p->fld %= cast m->num_mask; \
  920. break; \
  921. } \
  922. if (m->mask_op & FILE_OPINVERSE) \
  923. p->fld = ~p->fld \
  924. private int
  925. cvt_8(union VALUETYPE *p, const struct magic *m)
  926. {
  927. DO_CVT(b, (uint8_t));
  928. return 0;
  929. }
  930. private int
  931. cvt_16(union VALUETYPE *p, const struct magic *m)
  932. {
  933. DO_CVT(h, (uint16_t));
  934. return 0;
  935. }
  936. private int
  937. cvt_32(union VALUETYPE *p, const struct magic *m)
  938. {
  939. DO_CVT(l, (uint32_t));
  940. return 0;
  941. }
  942. private int
  943. cvt_64(union VALUETYPE *p, const struct magic *m)
  944. {
  945. DO_CVT(q, (uint64_t));
  946. return 0;
  947. }
  948. #define DO_CVT2(fld, cast) \
  949. if (m->num_mask) \
  950. switch (m->mask_op & FILE_OPS_MASK) { \
  951. case FILE_OPADD: \
  952. p->fld += cast m->num_mask; \
  953. break; \
  954. case FILE_OPMINUS: \
  955. p->fld -= cast m->num_mask; \
  956. break; \
  957. case FILE_OPMULTIPLY: \
  958. p->fld *= cast m->num_mask; \
  959. break; \
  960. case FILE_OPDIVIDE: \
  961. if (cast m->num_mask == 0) \
  962. return -1; \
  963. p->fld /= cast m->num_mask; \
  964. break; \
  965. } \
  966. private int
  967. cvt_float(union VALUETYPE *p, const struct magic *m)
  968. {
  969. DO_CVT2(f, (float));
  970. return 0;
  971. }
  972. private int
  973. cvt_double(union VALUETYPE *p, const struct magic *m)
  974. {
  975. DO_CVT2(d, (double));
  976. return 0;
  977. }
  978. /*
  979. * Convert the byte order of the data we are looking at
  980. * While we're here, let's apply the mask operation
  981. * (unless you have a better idea)
  982. */
  983. private int
  984. mconvert(struct magic_set *ms, struct magic *m, int flip)
  985. {
  986. union VALUETYPE *p = &ms->ms_value;
  987. switch (cvt_flip(m->type, flip)) {
  988. case FILE_BYTE:
  989. if (cvt_8(p, m) == -1)
  990. goto out;
  991. return 1;
  992. case FILE_SHORT:
  993. if (cvt_16(p, m) == -1)
  994. goto out;
  995. return 1;
  996. case FILE_LONG:
  997. case FILE_DATE:
  998. case FILE_LDATE:
  999. if (cvt_32(p, m) == -1)
  1000. goto out;
  1001. return 1;
  1002. case FILE_QUAD:
  1003. case FILE_QDATE:
  1004. case FILE_QLDATE:
  1005. case FILE_QWDATE:
  1006. if (cvt_64(p, m) == -1)
  1007. goto out;
  1008. return 1;
  1009. case FILE_STRING:
  1010. case FILE_BESTRING16:
  1011. case FILE_LESTRING16: {
  1012. /* Null terminate and eat *trailing* return */
  1013. p->s[sizeof(p->s) - 1] = '\0';
  1014. return 1;
  1015. }
  1016. case FILE_PSTRING: {
  1017. size_t sz = file_pstring_length_size(m);
  1018. char *ptr1 = p->s, *ptr2 = ptr1 + sz;
  1019. size_t len = file_pstring_get_length(m, ptr1);
  1020. sz = sizeof(p->s) - sz; /* maximum length of string */
  1021. if (len >= sz) {
  1022. /*
  1023. * The size of the pascal string length (sz)
  1024. * is 1, 2, or 4. We need at least 1 byte for NUL
  1025. * termination, but we've already truncated the
  1026. * string by p->s, so we need to deduct sz.
  1027. * Because we can use one of the bytes of the length
  1028. * after we shifted as NUL termination.
  1029. */
  1030. len = sz;
  1031. }
  1032. while (len--)
  1033. *ptr1++ = *ptr2++;
  1034. *ptr1 = '\0';
  1035. return 1;
  1036. }
  1037. case FILE_BESHORT:
  1038. p->h = (short)BE16(p);
  1039. if (cvt_16(p, m) == -1)
  1040. goto out;
  1041. return 1;
  1042. case FILE_BELONG:
  1043. case FILE_BEDATE:
  1044. case FILE_BELDATE:
  1045. p->l = (int32_t)BE32(p);
  1046. if (cvt_32(p, m) == -1)
  1047. goto out;
  1048. return 1;
  1049. case FILE_BEQUAD:
  1050. case FILE_BEQDATE:
  1051. case FILE_BEQLDATE:
  1052. case FILE_BEQWDATE:
  1053. p->q = (uint64_t)BE64(p);
  1054. if (cvt_64(p, m) == -1)
  1055. goto out;
  1056. return 1;
  1057. case FILE_LESHORT:
  1058. p->h = (short)LE16(p);
  1059. if (cvt_16(p, m) == -1)
  1060. goto out;
  1061. return 1;
  1062. case FILE_LELONG:
  1063. case FILE_LEDATE:
  1064. case FILE_LELDATE:
  1065. p->l = (int32_t)LE32(p);
  1066. if (cvt_32(p, m) == -1)
  1067. goto out;
  1068. return 1;
  1069. case FILE_LEQUAD:
  1070. case FILE_LEQDATE:
  1071. case FILE_LEQLDATE:
  1072. case FILE_LEQWDATE:
  1073. p->q = (uint64_t)LE64(p);
  1074. if (cvt_64(p, m) == -1)
  1075. goto out;
  1076. return 1;
  1077. case FILE_MELONG:
  1078. case FILE_MEDATE:
  1079. case FILE_MELDATE:
  1080. p->l = (int32_t)ME32(p);
  1081. if (cvt_32(p, m) == -1)
  1082. goto out;
  1083. return 1;
  1084. case FILE_FLOAT:
  1085. if (cvt_float(p, m) == -1)
  1086. goto out;
  1087. return 1;
  1088. case FILE_BEFLOAT:
  1089. p->l = BE32(p);
  1090. if (cvt_float(p, m) == -1)
  1091. goto out;
  1092. return 1;
  1093. case FILE_LEFLOAT:
  1094. p->l = LE32(p);
  1095. if (cvt_float(p, m) == -1)
  1096. goto out;
  1097. return 1;
  1098. case FILE_DOUBLE:
  1099. if (cvt_double(p, m) == -1)
  1100. goto out;
  1101. return 1;
  1102. case FILE_BEDOUBLE:
  1103. p->q = BE64(p);
  1104. if (cvt_double(p, m) == -1)
  1105. goto out;
  1106. return 1;
  1107. case FILE_LEDOUBLE:
  1108. p->q = LE64(p);
  1109. if (cvt_double(p, m) == -1)
  1110. goto out;
  1111. return 1;
  1112. case FILE_REGEX:
  1113. case FILE_SEARCH:
  1114. case FILE_DEFAULT:
  1115. case FILE_CLEAR:
  1116. case FILE_NAME:
  1117. case FILE_USE:
  1118. case FILE_DER:
  1119. return 1;
  1120. default:
  1121. file_magerror(ms, "invalid type %d in mconvert()", m->type);
  1122. return 0;
  1123. }
  1124. out:
  1125. file_magerror(ms, "zerodivide in mconvert()");
  1126. return 0;
  1127. }
  1128. private void
  1129. mdebug(uint32_t offset, const char *str, size_t len)
  1130. {
  1131. (void) fprintf(stderr, "mget/%" SIZE_T_FORMAT "u @%d: ", len, offset);
  1132. file_showstr(stderr, str, len);
  1133. (void) fputc('\n', stderr);
  1134. (void) fputc('\n', stderr);
  1135. }
  1136. private int
  1137. mcopy(struct magic_set *ms, union VALUETYPE *p, int type, int indir,
  1138. const unsigned char *s, uint32_t offset, size_t nbytes, struct magic *m)
  1139. {
  1140. /*
  1141. * Note: FILE_SEARCH and FILE_REGEX do not actually copy
  1142. * anything, but setup pointers into the source
  1143. */
  1144. if (indir == 0) {
  1145. switch (type) {
  1146. case FILE_DER:
  1147. case FILE_SEARCH:
  1148. if (offset > nbytes)
  1149. offset = CAST(uint32_t, nbytes);
  1150. ms->search.s = RCAST(const char *, s) + offset;
  1151. ms->search.s_len = nbytes - offset;
  1152. ms->search.offset = offset;
  1153. return 0;
  1154. case FILE_REGEX: {
  1155. const char *b;
  1156. const char *c;
  1157. const char *last; /* end of search region */
  1158. const char *buf; /* start of search region */
  1159. const char *end;
  1160. size_t lines, linecnt, bytecnt;
  1161. if (s == NULL || nbytes < offset) {
  1162. ms->search.s_len = 0;
  1163. ms->search.s = NULL;
  1164. return 0;
  1165. }
  1166. if (m->str_flags & REGEX_LINE_COUNT) {
  1167. linecnt = m->str_range;
  1168. bytecnt = linecnt * 80;
  1169. } else {
  1170. linecnt = 0;
  1171. bytecnt = m->str_range;
  1172. }
  1173. if (bytecnt == 0 || bytecnt > nbytes - offset)
  1174. bytecnt = nbytes - offset;
  1175. if (bytecnt > ms->regex_max)
  1176. bytecnt = ms->regex_max;
  1177. buf = RCAST(const char *, s) + offset;
  1178. end = last = RCAST(const char *, s) + bytecnt + offset;
  1179. /* mget() guarantees buf <= last */
  1180. for (lines = linecnt, b = buf; lines && b < end &&
  1181. ((b = CAST(const char *,
  1182. memchr(c = b, '\n', CAST(size_t, (end - b)))))
  1183. || (b = CAST(const char *,
  1184. memchr(c, '\r', CAST(size_t, (end - c))))));
  1185. lines--, b++) {
  1186. last = b;
  1187. if (b < end - 1 && b[0] == '\r' && b[1] == '\n')
  1188. b++;
  1189. }
  1190. if (lines)
  1191. last = end;
  1192. ms->search.s = buf;
  1193. ms->search.s_len = last - buf;
  1194. ms->search.offset = offset;
  1195. ms->search.rm_len = 0;
  1196. return 0;
  1197. }
  1198. case FILE_BESTRING16:
  1199. case FILE_LESTRING16: {
  1200. const unsigned char *src = s + offset;
  1201. const unsigned char *esrc = s + nbytes;
  1202. char *dst = p->s;
  1203. char *edst = &p->s[sizeof(p->s) - 1];
  1204. if (type == FILE_BESTRING16)
  1205. src++;
  1206. /* check that offset is within range */
  1207. if (offset >= nbytes)
  1208. break;
  1209. for (/*EMPTY*/; src < esrc; src += 2, dst++) {
  1210. if (dst < edst)
  1211. *dst = *src;
  1212. else
  1213. break;
  1214. if (*dst == '\0') {
  1215. if (type == FILE_BESTRING16 ?
  1216. *(src - 1) != '\0' :
  1217. ((src + 1 < esrc) &&
  1218. *(src + 1) != '\0'))
  1219. *dst = ' ';
  1220. }
  1221. }
  1222. *edst = '\0';
  1223. return 0;
  1224. }
  1225. case FILE_STRING: /* XXX - these two should not need */
  1226. case FILE_PSTRING: /* to copy anything, but do anyway. */
  1227. default:
  1228. break;
  1229. }
  1230. }
  1231. if (offset >= nbytes) {
  1232. (void)memset(p, '\0', sizeof(*p));
  1233. return 0;
  1234. }
  1235. if (nbytes - offset < sizeof(*p))
  1236. nbytes = nbytes - offset;
  1237. else
  1238. nbytes = sizeof(*p);
  1239. (void)memcpy(p, s + offset, nbytes);
  1240. /*
  1241. * the usefulness of padding with zeroes eludes me, it
  1242. * might even cause problems
  1243. */
  1244. if (nbytes < sizeof(*p))
  1245. (void)memset(((char *)(void *)p) + nbytes, '\0',
  1246. sizeof(*p) - nbytes);
  1247. return 0;
  1248. }
  1249. private uint32_t
  1250. do_ops(struct magic *m, intmax_t lhs, intmax_t off)
  1251. {
  1252. intmax_t offset;
  1253. if (off) {
  1254. switch (m->in_op & FILE_OPS_MASK) {
  1255. case FILE_OPAND:
  1256. offset = lhs & off;
  1257. break;
  1258. case FILE_OPOR:
  1259. offset = lhs | off;
  1260. break;
  1261. case FILE_OPXOR:
  1262. offset = lhs ^ off;
  1263. break;
  1264. case FILE_OPADD:
  1265. offset = lhs + off;
  1266. break;
  1267. case FILE_OPMINUS:
  1268. offset = lhs - off;
  1269. break;
  1270. case FILE_OPMULTIPLY:
  1271. offset = lhs * off;
  1272. break;
  1273. case FILE_OPDIVIDE:
  1274. offset = lhs / off;
  1275. break;
  1276. case FILE_OPMODULO:
  1277. offset = lhs % off;
  1278. break;
  1279. }
  1280. } else
  1281. offset = lhs;
  1282. if (m->in_op & FILE_OPINVERSE)
  1283. offset = ~offset;
  1284. return (uint32_t)offset;
  1285. }
  1286. private int
  1287. msetoffset(struct magic_set *ms, struct magic *m, struct buffer *bb,
  1288. const struct buffer *b, size_t o, unsigned int cont_level)
  1289. {
  1290. if (m->offset < 0) {
  1291. if (cont_level > 0) {
  1292. if (m->flag & (OFFADD|INDIROFFADD))
  1293. goto normal;
  1294. #if 0
  1295. file_error(ms, 0, "negative offset %d at continuation"
  1296. "level %u", m->offset, cont_level);
  1297. return -1;
  1298. #endif
  1299. }
  1300. if (buffer_fill(b) == -1)
  1301. return -1;
  1302. if (o != 0) {
  1303. // Not yet!
  1304. file_magerror(ms, "non zero offset %zu at"
  1305. " level %u", o, cont_level);
  1306. return -1;
  1307. }
  1308. if ((size_t)-m->offset > b->elen)
  1309. return -1;
  1310. buffer_init(bb, -1, b->ebuf, b->elen);
  1311. ms->eoffset = ms->offset = b->elen + m->offset;
  1312. } else {
  1313. if (cont_level == 0) {
  1314. normal:
  1315. // XXX: Pass real fd, then who frees bb?
  1316. buffer_init(bb, -1, b->fbuf, b->flen);
  1317. ms->offset = m->offset;
  1318. ms->eoffset = 0;
  1319. } else {
  1320. ms->offset = ms->eoffset + m->offset;
  1321. }
  1322. }
  1323. if ((ms->flags & MAGIC_DEBUG) != 0) {
  1324. fprintf(stderr, "bb=[%p,%zu], %d [b=%p,%zu], [o=%#x, c=%d]\n",
  1325. bb->fbuf, bb->flen, ms->offset, b->fbuf, b->flen,
  1326. m->offset, cont_level);
  1327. }
  1328. return 0;
  1329. }
  1330. private int
  1331. mget(struct magic_set *ms, struct magic *m, const struct buffer *b,
  1332. const unsigned char *s, size_t nbytes, size_t o, unsigned int cont_level,
  1333. int mode, int text, int flip, uint16_t *indir_count, uint16_t *name_count,
  1334. int *printed_something, int *need_separator, int *returnval)
  1335. {
  1336. uint32_t offset = ms->offset;
  1337. struct buffer bb;
  1338. intmax_t lhs;
  1339. file_pushbuf_t *pb;
  1340. int rv, oneed_separator, in_type;
  1341. char *rbuf;
  1342. union VALUETYPE *p = &ms->ms_value;
  1343. struct mlist ml;
  1344. if (*indir_count >= ms->indir_max) {
  1345. file_error(ms, 0, "indirect count (%hu) exceeded",
  1346. *indir_count);
  1347. return -1;
  1348. }
  1349. if (*name_count >= ms->name_max) {
  1350. file_error(ms, 0, "name use count (%hu) exceeded",
  1351. *name_count);
  1352. return -1;
  1353. }
  1354. if (mcopy(ms, p, m->type, m->flag & INDIR, s, (uint32_t)(offset + o),
  1355. (uint32_t)nbytes, m) == -1)
  1356. return -1;
  1357. if ((ms->flags & MAGIC_DEBUG) != 0) {
  1358. fprintf(stderr, "mget(type=%d, flag=%#x, offset=%u, o=%"
  1359. SIZE_T_FORMAT "u, " "nbytes=%" SIZE_T_FORMAT
  1360. "u, il=%hu, nc=%hu)\n",
  1361. m->type, m->flag, offset, o, nbytes,
  1362. *indir_count, *name_count);
  1363. mdebug(offset, (char *)(void *)p, sizeof(union VALUETYPE));
  1364. }
  1365. if (m->flag & INDIR) {
  1366. intmax_t off = m->in_offset;
  1367. const int sgn = m->in_op & FILE_OPSIGNED;
  1368. if (m->in_op & FILE_OPINDIRECT) {
  1369. const union VALUETYPE *q = CAST(const union VALUETYPE *,
  1370. ((const void *)(s + offset + off)));
  1371. if (OFFSET_OOB(nbytes, offset + off, sizeof(*q)))
  1372. return 0;
  1373. switch (cvt_flip(m->in_type, flip)) {
  1374. case FILE_BYTE:
  1375. off = SEXT(sgn,8,q->b);
  1376. break;
  1377. case FILE_SHORT:
  1378. off = SEXT(sgn,16,q->h);
  1379. break;
  1380. case FILE_BESHORT:
  1381. off = SEXT(sgn,16,BE16(q));
  1382. break;
  1383. case FILE_LESHORT:
  1384. off = SEXT(sgn,16,LE16(q));
  1385. break;
  1386. case FILE_LONG:
  1387. off = SEXT(sgn,32,q->l);
  1388. break;
  1389. case FILE_BELONG:
  1390. case FILE_BEID3:
  1391. off = SEXT(sgn,32,BE32(q));
  1392. break;
  1393. case FILE_LEID3:
  1394. case FILE_LELONG:
  1395. off = SEXT(sgn,32,LE32(q));
  1396. break;
  1397. case FILE_MELONG:
  1398. off = SEXT(sgn,32,ME32(q));
  1399. break;
  1400. }
  1401. if ((ms->flags & MAGIC_DEBUG) != 0)
  1402. fprintf(stderr, "indirect offs=%jd\n", off);
  1403. }
  1404. switch (in_type = cvt_flip(m->in_type, flip)) {
  1405. case FILE_BYTE:
  1406. if (OFFSET_OOB(nbytes, offset, 1))
  1407. return 0;
  1408. offset = do_ops(m, SEXT(sgn,8,p->b), off);
  1409. break;
  1410. case FILE_BESHORT:
  1411. if (OFFSET_OOB(nbytes, offset, 2))
  1412. return 0;
  1413. offset = do_ops(m, SEXT(sgn,16,BE16(p)), off);
  1414. break;
  1415. case FILE_LESHORT:
  1416. if (OFFSET_OOB(nbytes, offset, 2))
  1417. return 0;
  1418. offset = do_ops(m, SEXT(sgn,16,LE16(p)), off);
  1419. break;
  1420. case FILE_SHORT:
  1421. if (OFFSET_OOB(nbytes, offset, 2))
  1422. return 0;
  1423. offset = do_ops(m, SEXT(sgn,16,p->h), off);
  1424. break;
  1425. case FILE_BELONG:
  1426. case FILE_BEID3:
  1427. if (OFFSET_OOB(nbytes, offset, 4))
  1428. return 0;
  1429. lhs = BE32(p);
  1430. if (in_type == FILE_BEID3)
  1431. lhs = cvt_id3(ms, (uint32_t)lhs);
  1432. offset = do_ops(m, SEXT(sgn,32,lhs), off);
  1433. break;
  1434. case FILE_LELONG:
  1435. case FILE_LEID3:
  1436. if (OFFSET_OOB(nbytes, offset, 4))
  1437. return 0;
  1438. lhs = LE32(p);
  1439. if (in_type == FILE_LEID3)
  1440. lhs = cvt_id3(ms, (uint32_t)lhs);
  1441. offset = do_ops(m, SEXT(sgn,32,lhs), off);
  1442. break;
  1443. case FILE_MELONG:
  1444. if (OFFSET_OOB(nbytes, offset, 4))
  1445. return 0;
  1446. offset = do_ops(m, SEXT(sgn,32,ME32(p)), off);
  1447. break;
  1448. case FILE_LONG:
  1449. if (OFFSET_OOB(nbytes, offset, 4))
  1450. return 0;
  1451. offset = do_ops(m, SEXT(sgn,32,p->l), off);
  1452. break;
  1453. default:
  1454. break;
  1455. }
  1456. if (m->flag & INDIROFFADD) {
  1457. offset += ms->c.li[cont_level-1].off;
  1458. if (offset == 0) {
  1459. if ((ms->flags & MAGIC_DEBUG) != 0)
  1460. fprintf(stderr,
  1461. "indirect *zero* offset\n");
  1462. return 0;
  1463. }
  1464. if ((ms->flags & MAGIC_DEBUG) != 0)
  1465. fprintf(stderr, "indirect +offs=%u\n", offset);
  1466. }
  1467. if (mcopy(ms, p, m->type, 0, s, offset, nbytes, m) == -1)
  1468. return -1;
  1469. ms->offset = offset;
  1470. if ((ms->flags & MAGIC_DEBUG) != 0) {
  1471. mdebug(offset, (char *)(void *)p,
  1472. sizeof(union VALUETYPE));
  1473. }
  1474. }
  1475. /* Verify we have enough data to match magic type */
  1476. switch (m->type) {
  1477. case FILE_BYTE:
  1478. if (OFFSET_OOB(nbytes, offset, 1))
  1479. return 0;
  1480. break;
  1481. case FILE_SHORT:
  1482. case FILE_BESHORT:
  1483. case FILE_LESHORT:
  1484. if (OFFSET_OOB(nbytes, offset, 2))
  1485. return 0;
  1486. break;
  1487. case FILE_LONG:
  1488. case FILE_BELONG:
  1489. case FILE_LELONG:
  1490. case FILE_MELONG:
  1491. case FILE_DATE:
  1492. case FILE_BEDATE:
  1493. case FILE_LEDATE:
  1494. case FILE_MEDATE:
  1495. case FILE_LDATE:
  1496. case FILE_BELDATE:
  1497. case FILE_LELDATE:
  1498. case FILE_MELDATE:
  1499. case FILE_FLOAT:
  1500. case FILE_BEFLOAT:
  1501. case FILE_LEFLOAT:
  1502. if (OFFSET_OOB(nbytes, offset, 4))
  1503. return 0;
  1504. break;
  1505. case FILE_DOUBLE:
  1506. case FILE_BEDOUBLE:
  1507. case FILE_LEDOUBLE:
  1508. if (OFFSET_OOB(nbytes, offset, 8))
  1509. return 0;
  1510. break;
  1511. case FILE_STRING:
  1512. case FILE_PSTRING:
  1513. case FILE_SEARCH:
  1514. if (OFFSET_OOB(nbytes, offset, m->vallen))
  1515. return 0;
  1516. break;
  1517. case FILE_REGEX:
  1518. if (nbytes < offset)
  1519. return 0;
  1520. break;
  1521. case FILE_INDIRECT:
  1522. if (m->str_flags & INDIRECT_RELATIVE)
  1523. offset += CAST(uint32_t, o);
  1524. if (offset == 0)
  1525. return 0;
  1526. if (nbytes < offset)
  1527. return 0;
  1528. if ((pb = file_push_buffer(ms)) == NULL)
  1529. return -1;
  1530. (*indir_count)++;
  1531. bb = *b;
  1532. bb.fbuf = s + offset;
  1533. bb.flen = nbytes - offset;
  1534. rv = file_softmagic(ms, &bb,
  1535. indir_count, name_count, BINTEST, text);
  1536. if ((ms->flags & MAGIC_DEBUG) != 0)
  1537. fprintf(stderr, "indirect @offs=%u[%d]\n", offset, rv);
  1538. rbuf = file_pop_buffer(ms, pb);
  1539. if (rbuf == NULL && ms->event_flags & EVENT_HAD_ERR)
  1540. return -1;
  1541. if (rv == 1) {
  1542. if ((ms->flags & MAGIC_NODESC) == 0 &&
  1543. file_printf(ms, F(ms, m->desc, "%u"), offset) == -1) {
  1544. if (rbuf) efree(rbuf);
  1545. return -1;
  1546. }
  1547. if (file_printf(ms, "%s", rbuf) == -1) {
  1548. if (rbuf) efree(rbuf);
  1549. return -1;
  1550. }
  1551. }
  1552. if (rbuf) efree(rbuf);
  1553. return rv;
  1554. case FILE_USE:
  1555. if (nbytes < offset)
  1556. return 0;
  1557. rbuf = m->value.s;
  1558. if (*rbuf == '^') {
  1559. rbuf++;
  1560. flip = !flip;
  1561. }
  1562. if (file_magicfind(ms, rbuf, &ml) == -1) {
  1563. file_error(ms, 0, "cannot find entry `%s'", rbuf);
  1564. return -1;
  1565. }
  1566. (*name_count)++;
  1567. oneed_separator = *need_separator;
  1568. if (m->flag & NOSPACE)
  1569. *need_separator = 0;
  1570. rv = match(ms, ml.magic, ml.nmagic, b, offset + o,
  1571. mode, text, flip, indir_count, name_count,
  1572. printed_something, need_separator, returnval);
  1573. if (rv != 1)
  1574. *need_separator = oneed_separator;
  1575. return rv;
  1576. case FILE_NAME:
  1577. if (ms->flags & MAGIC_NODESC)
  1578. return 1;
  1579. if (file_printf(ms, "%s", m->desc) == -1)
  1580. return -1;
  1581. return 1;
  1582. case FILE_DER:
  1583. case FILE_DEFAULT: /* nothing to check */
  1584. case FILE_CLEAR:
  1585. default:
  1586. break;
  1587. }
  1588. if (!mconvert(ms, m, flip))
  1589. return 0;
  1590. return 1;
  1591. }
  1592. private uint64_t
  1593. file_strncmp(const char *s1, const char *s2, size_t len, uint32_t flags)
  1594. {
  1595. /*
  1596. * Convert the source args to unsigned here so that (1) the
  1597. * compare will be unsigned as it is in strncmp() and (2) so
  1598. * the ctype functions will work correctly without extra
  1599. * casting.
  1600. */
  1601. const unsigned char *a = (const unsigned char *)s1;
  1602. const unsigned char *b = (const unsigned char *)s2;
  1603. const unsigned char *eb = b + len;
  1604. uint64_t v;
  1605. /*
  1606. * What we want here is v = strncmp(s1, s2, len),
  1607. * but ignoring any nulls.
  1608. */
  1609. v = 0;
  1610. if (0L == flags) { /* normal string: do it fast */
  1611. while (len-- > 0)
  1612. if ((v = *b++ - *a++) != '\0')
  1613. break;
  1614. }
  1615. else { /* combine the others */
  1616. while (len-- > 0) {
  1617. if (b >= eb) {
  1618. v = 1;
  1619. break;
  1620. }
  1621. if ((flags & STRING_IGNORE_LOWERCASE) &&
  1622. islower(*a)) {
  1623. if ((v = tolower(*b++) - *a++) != '\0')
  1624. break;
  1625. }
  1626. else if ((flags & STRING_IGNORE_UPPERCASE) &&
  1627. isupper(*a)) {
  1628. if ((v = toupper(*b++) - *a++) != '\0')
  1629. break;
  1630. }
  1631. else if ((flags & STRING_COMPACT_WHITESPACE) &&
  1632. isspace(*a)) {
  1633. a++;
  1634. if (isspace(*b++)) {
  1635. if (!isspace(*a))
  1636. while (b < eb && isspace(*b))
  1637. b++;
  1638. }
  1639. else {
  1640. v = 1;
  1641. break;
  1642. }
  1643. }
  1644. else if ((flags & STRING_COMPACT_OPTIONAL_WHITESPACE) &&
  1645. isspace(*a)) {
  1646. a++;
  1647. while (b < eb && isspace(*b))
  1648. b++;
  1649. }
  1650. else {
  1651. if ((v = *b++ - *a++) != '\0')
  1652. break;
  1653. }
  1654. }
  1655. }
  1656. return v;
  1657. }
  1658. private uint64_t
  1659. file_strncmp16(const char *a, const char *b, size_t len, uint32_t flags)
  1660. {
  1661. /*
  1662. * XXX - The 16-bit string compare probably needs to be done
  1663. * differently, especially if the flags are to be supported.
  1664. * At the moment, I am unsure.
  1665. */
  1666. flags = 0;
  1667. return file_strncmp(a, b, len, flags);
  1668. }
  1669. public void
  1670. convert_libmagic_pattern(zval *pattern, char *val, size_t len, uint32_t options)
  1671. {
  1672. int i, j=0;
  1673. zend_string *t;
  1674. t = zend_string_alloc(len * 2 + 4, 0);
  1675. ZSTR_VAL(t)[j++] = '~';
  1676. for (i = 0; i < len; i++, j++) {
  1677. switch (val[i]) {
  1678. case '~':
  1679. ZSTR_VAL(t)[j++] = '\\';
  1680. ZSTR_VAL(t)[j] = '~';
  1681. break;
  1682. default:
  1683. ZSTR_VAL(t)[j] = val[i];
  1684. break;
  1685. }
  1686. }
  1687. ZSTR_VAL(t)[j++] = '~';
  1688. if (options & PCRE2_CASELESS)
  1689. ZSTR_VAL(t)[j++] = 'i';
  1690. if (options & PCRE2_MULTILINE)
  1691. ZSTR_VAL(t)[j++] = 'm';
  1692. ZSTR_VAL(t)[j]='\0';
  1693. ZSTR_LEN(t) = j;
  1694. ZVAL_NEW_STR(pattern, t);
  1695. }
  1696. private int
  1697. magiccheck(struct magic_set *ms, struct magic *m)
  1698. {
  1699. uint64_t l = m->value.q;
  1700. uint64_t v;
  1701. float fl, fv;
  1702. double dl, dv;
  1703. int matched;
  1704. union VALUETYPE *p = &ms->ms_value;
  1705. switch (m->type) {
  1706. case FILE_BYTE:
  1707. v = p->b;
  1708. break;
  1709. case FILE_SHORT:
  1710. case FILE_BESHORT:
  1711. case FILE_LESHORT:
  1712. v = p->h;
  1713. break;
  1714. case FILE_LONG:
  1715. case FILE_BELONG:
  1716. case FILE_LELONG:
  1717. case FILE_MELONG:
  1718. case FILE_DATE:
  1719. case FILE_BEDATE:
  1720. case FILE_LEDATE:
  1721. case FILE_MEDATE:
  1722. case FILE_LDATE:
  1723. case FILE_BELDATE:
  1724. case FILE_LELDATE:
  1725. case FILE_MELDATE:
  1726. v = p->l;
  1727. break;
  1728. case FILE_QUAD:
  1729. case FILE_LEQUAD:
  1730. case FILE_BEQUAD:
  1731. case FILE_QDATE:
  1732. case FILE_BEQDATE:
  1733. case FILE_LEQDATE:
  1734. case FILE_QLDATE:
  1735. case FILE_BEQLDATE:
  1736. case FILE_LEQLDATE:
  1737. case FILE_QWDATE:
  1738. case FILE_BEQWDATE:
  1739. case FILE_LEQWDATE:
  1740. v = p->q;
  1741. break;
  1742. case FILE_FLOAT:
  1743. case FILE_BEFLOAT:
  1744. case FILE_LEFLOAT:
  1745. fl = m->value.f;
  1746. fv = p->f;
  1747. switch (m->reln) {
  1748. case 'x':
  1749. matched = 1;
  1750. break;
  1751. case '!':
  1752. matched = fv != fl;
  1753. break;
  1754. case '=':
  1755. matched = fv == fl;
  1756. break;
  1757. case '>':
  1758. matched = fv > fl;
  1759. break;
  1760. case '<':
  1761. matched = fv < fl;
  1762. break;
  1763. default:
  1764. file_magerror(ms, "cannot happen with float: invalid relation `%c'",
  1765. m->reln);
  1766. return -1;
  1767. }
  1768. return matched;
  1769. case FILE_DOUBLE:
  1770. case FILE_BEDOUBLE:
  1771. case FILE_LEDOUBLE:
  1772. dl = m->value.d;
  1773. dv = p->d;
  1774. switch (m->reln) {
  1775. case 'x':
  1776. matched = 1;
  1777. break;
  1778. case '!':
  1779. matched = dv != dl;
  1780. break;
  1781. case '=':
  1782. matched = dv == dl;
  1783. break;
  1784. case '>':
  1785. matched = dv > dl;
  1786. break;
  1787. case '<':
  1788. matched = dv < dl;
  1789. break;
  1790. default:
  1791. file_magerror(ms, "cannot happen with double: invalid relation `%c'", m->reln);
  1792. return -1;
  1793. }
  1794. return matched;
  1795. case FILE_DEFAULT:
  1796. case FILE_CLEAR:
  1797. l = 0;
  1798. v = 0;
  1799. break;
  1800. case FILE_STRING:
  1801. case FILE_PSTRING:
  1802. l = 0;
  1803. v = file_strncmp(m->value.s, p->s, (size_t)m->vallen, m->str_flags);
  1804. break;
  1805. case FILE_BESTRING16:
  1806. case FILE_LESTRING16:
  1807. l = 0;
  1808. v = file_strncmp16(m->value.s, p->s, (size_t)m->vallen, m->str_flags);
  1809. break;
  1810. case FILE_SEARCH: { /* search ms->search.s for the string m->value.s */
  1811. size_t slen;
  1812. size_t idx;
  1813. if (ms->search.s == NULL)
  1814. return 0;
  1815. slen = MIN(m->vallen, sizeof(m->value.s));
  1816. l = 0;
  1817. v = 0;
  1818. for (idx = 0; m->str_range == 0 || idx < m->str_range; idx++) {
  1819. if (slen + idx > ms->search.s_len)
  1820. return 0;
  1821. v = file_strncmp(m->value.s, ms->search.s + idx, slen,
  1822. m->str_flags);
  1823. if (v == 0) { /* found match */
  1824. ms->search.offset += idx;
  1825. ms->search.rm_len = ms->search.s_len - idx;
  1826. break;
  1827. }
  1828. }
  1829. break;
  1830. }
  1831. case FILE_REGEX: {
  1832. zval pattern;
  1833. uint32_t options = 0;
  1834. pcre_cache_entry *pce;
  1835. options |= PCRE2_MULTILINE;
  1836. if (m->str_flags & STRING_IGNORE_CASE) {
  1837. options |= PCRE2_CASELESS;
  1838. }
  1839. convert_libmagic_pattern(&pattern, (char *)m->value.s, m->vallen, options);
  1840. l = v = 0;
  1841. if ((pce = pcre_get_compiled_regex_cache(Z_STR(pattern))) == NULL) {
  1842. zval_ptr_dtor(&pattern);
  1843. return -1;
  1844. } else {
  1845. /* pce now contains the compiled regex */
  1846. zval retval;
  1847. zval subpats;
  1848. char *haystack;
  1849. ZVAL_NULL(&retval);
  1850. ZVAL_NULL(&subpats);
  1851. /* Cut the search len from haystack, equals to REG_STARTEND */
  1852. haystack = estrndup(ms->search.s, ms->search.s_len);
  1853. /* match v = 0, no match v = 1 */
  1854. php_pcre_match_impl(pce, haystack, ms->search.s_len, &retval, &subpats, 0, 1, PREG_OFFSET_CAPTURE, 0);
  1855. /* Free haystack */
  1856. efree(haystack);
  1857. if (Z_LVAL(retval) < 0) {
  1858. zval_ptr_dtor(&subpats);
  1859. zval_ptr_dtor(&pattern);
  1860. return -1;
  1861. } else if ((Z_LVAL(retval) > 0) && (Z_TYPE(subpats) == IS_ARRAY)) {
  1862. /* Need to fetch global match which equals pmatch[0] */
  1863. zval *pzval;
  1864. HashTable *ht = Z_ARRVAL(subpats);
  1865. if ((pzval = zend_hash_index_find(ht, 0)) != NULL && Z_TYPE_P(pzval) == IS_ARRAY) {
  1866. /* If everything goes according to the master plan
  1867. tmpcopy now contains two elements:
  1868. 0 = the match
  1869. 1 = starting position of the match */
  1870. zval *match, *offset;
  1871. if ((match = zend_hash_index_find(Z_ARRVAL_P(pzval), 0)) &&
  1872. (offset = zend_hash_index_find(Z_ARRVAL_P(pzval), 1))) {
  1873. if (Z_TYPE_P(match) != IS_STRING && Z_TYPE_P(offset) != IS_LONG) {
  1874. goto error_out;
  1875. }
  1876. ms->search.s += Z_LVAL_P(offset); /* this is where the match starts */
  1877. ms->search.offset += Z_LVAL_P(offset); /* this is where the match starts as size_t */
  1878. ms->search.rm_len = Z_STRLEN_P(match) /* This is the length of the matched pattern */;
  1879. v = 0;
  1880. } else {
  1881. goto error_out;
  1882. }
  1883. } else {
  1884. error_out:
  1885. zval_ptr_dtor(&subpats);
  1886. zval_ptr_dtor(&pattern);
  1887. return -1;
  1888. }
  1889. } else {
  1890. v = 1;
  1891. }
  1892. zval_ptr_dtor(&subpats);
  1893. zval_ptr_dtor(&pattern);
  1894. }
  1895. break;
  1896. }
  1897. case FILE_INDIRECT:
  1898. case FILE_USE:
  1899. case FILE_NAME:
  1900. return 1;
  1901. case FILE_DER:
  1902. matched = der_cmp(ms, m);
  1903. if (matched == -1) {
  1904. if ((ms->flags & MAGIC_DEBUG) != 0) {
  1905. (void) fprintf(stderr,
  1906. "EOF comparing DER entries");
  1907. }
  1908. return 0;
  1909. }
  1910. return matched;
  1911. default:
  1912. file_magerror(ms, "invalid type %d in magiccheck()", m->type);
  1913. return -1;
  1914. }
  1915. v = file_signextend(ms, m, v);
  1916. switch (m->reln) {
  1917. case 'x':
  1918. if ((ms->flags & MAGIC_DEBUG) != 0)
  1919. (void) fprintf(stderr, "%" INT64_T_FORMAT
  1920. "u == *any* = 1\n", (unsigned long long)v);
  1921. matched = 1;
  1922. break;
  1923. case '!':
  1924. matched = v != l;
  1925. if ((ms->flags & MAGIC_DEBUG) != 0)
  1926. (void) fprintf(stderr, "%" INT64_T_FORMAT "u != %"
  1927. INT64_T_FORMAT "u = %d\n", (unsigned long long)v,
  1928. (unsigned long long)l, matched);
  1929. break;
  1930. case '=':
  1931. matched = v == l;
  1932. if ((ms->flags & MAGIC_DEBUG) != 0)
  1933. (void) fprintf(stderr, "%" INT64_T_FORMAT "u == %"
  1934. INT64_T_FORMAT "u = %d\n", (unsigned long long)v,
  1935. (unsigned long long)l, matched);
  1936. break;
  1937. case '>':
  1938. if (m->flag & UNSIGNED) {
  1939. matched = v > l;
  1940. if ((ms->flags & MAGIC_DEBUG) != 0)
  1941. (void) fprintf(stderr, "%" INT64_T_FORMAT
  1942. "u > %" INT64_T_FORMAT "u = %d\n",
  1943. (unsigned long long)v,
  1944. (unsigned long long)l, matched);
  1945. }
  1946. else {
  1947. matched = (int64_t) v > (int64_t) l;
  1948. if ((ms->flags & MAGIC_DEBUG) != 0)
  1949. (void) fprintf(stderr, "%" INT64_T_FORMAT
  1950. "d > %" INT64_T_FORMAT "d = %d\n",
  1951. (long long)v, (long long)l, matched);
  1952. }
  1953. break;
  1954. case '<':
  1955. if (m->flag & UNSIGNED) {
  1956. matched = v < l;
  1957. if ((ms->flags & MAGIC_DEBUG) != 0)
  1958. (void) fprintf(stderr, "%" INT64_T_FORMAT
  1959. "u < %" INT64_T_FORMAT "u = %d\n",
  1960. (unsigned long long)v,
  1961. (unsigned long long)l, matched);
  1962. }
  1963. else {
  1964. matched = (int64_t) v < (int64_t) l;
  1965. if ((ms->flags & MAGIC_DEBUG) != 0)
  1966. (void) fprintf(stderr, "%" INT64_T_FORMAT
  1967. "d < %" INT64_T_FORMAT "d = %d\n",
  1968. (long long)v, (long long)l, matched);
  1969. }
  1970. break;
  1971. case '&':
  1972. matched = (v & l) == l;
  1973. if ((ms->flags & MAGIC_DEBUG) != 0)
  1974. (void) fprintf(stderr, "((%" INT64_T_FORMAT "x & %"
  1975. INT64_T_FORMAT "x) == %" INT64_T_FORMAT
  1976. "x) = %d\n", (unsigned long long)v,
  1977. (unsigned long long)l, (unsigned long long)l,
  1978. matched);
  1979. break;
  1980. case '^':
  1981. matched = (v & l) != l;
  1982. if ((ms->flags & MAGIC_DEBUG) != 0)
  1983. (void) fprintf(stderr, "((%" INT64_T_FORMAT "x & %"
  1984. INT64_T_FORMAT "x) != %" INT64_T_FORMAT
  1985. "x) = %d\n", (unsigned long long)v,
  1986. (unsigned long long)l, (unsigned long long)l,
  1987. matched);
  1988. break;
  1989. default:
  1990. file_magerror(ms, "cannot happen: invalid relation `%c'",
  1991. m->reln);
  1992. return -1;
  1993. }
  1994. return matched;
  1995. }
  1996. private int
  1997. handle_annotation(struct magic_set *ms, struct magic *m, const struct buffer *b,
  1998. int firstline)
  1999. {
  2000. if ((ms->flags & MAGIC_APPLE) && m->apple[0]) {
  2001. if (!firstline && file_printf(ms, "\n- ") == -1)
  2002. return -1;
  2003. if (file_printf(ms, "%.8s", m->apple) == -1)
  2004. return -1;
  2005. return 1;
  2006. }
  2007. if ((ms->flags & MAGIC_EXTENSION) && m->ext[0]) {
  2008. if (!firstline && file_printf(ms, "\n- ") == -1)
  2009. return -1;
  2010. if (file_printf(ms, "%s", m->ext) == -1)
  2011. return -1;
  2012. return 1;
  2013. }
  2014. if ((ms->flags & MAGIC_MIME_TYPE) && m->mimetype[0]) {
  2015. char buf[1024];
  2016. const char *p;
  2017. if (!firstline && file_printf(ms, "\n- ") == -1)
  2018. return -1;
  2019. if (varexpand(buf, sizeof(buf), b, m->mimetype) == -1)
  2020. p = m->mimetype;
  2021. else
  2022. p = buf;
  2023. if (file_printf(ms, "%s", p) == -1)
  2024. return -1;
  2025. return 1;
  2026. }
  2027. return 0;
  2028. }
  2029. private int
  2030. print_sep(struct magic_set *ms, int firstline)
  2031. {
  2032. // if (ms->flags & MAGIC_NODESC)
  2033. // return 0;
  2034. if (firstline)
  2035. return 0;
  2036. /*
  2037. * we found another match
  2038. * put a newline and '-' to do some simple formatting
  2039. */
  2040. return file_printf(ms, "\n- ");
  2041. }