1 /***************************************************************************/
2 /*                                                                         */
3 /*  ftvalid.h                                                              */
4 /*                                                                         */
5 /*    FreeType validation support (specification).                         */
6 /*                                                                         */
7 /*  Copyright 2004-2018 by                                                 */
8 /*  David Turner, Robert Wilhelm, and Werner Lemberg.                      */
9 /*                                                                         */
10 /*  This file is part of the FreeType project, and may only be used,       */
11 /*  modified, and distributed under the terms of the FreeType project      */
12 /*  license, LICENSE.TXT.  By continuing to use, modify, or distribute     */
13 /*  this file you indicate that you have read the license and              */
14 /*  understand and accept it fully.                                        */
15 /*                                                                         */
16 /***************************************************************************/
17 
18 
19 #ifndef FTVALID_H_
20 #define FTVALID_H_
21 
22 #include <ft2build.h>
23 #include FT_CONFIG_STANDARD_LIBRARY_H   /* for ft_setjmp and ft_longjmp */
24 
25 
26 FT_BEGIN_HEADER
27 
28 
29   /*************************************************************************/
30   /*************************************************************************/
31   /*************************************************************************/
32   /****                                                                 ****/
33   /****                                                                 ****/
34   /****                    V A L I D A T I O N                          ****/
35   /****                                                                 ****/
36   /****                                                                 ****/
37   /*************************************************************************/
38   /*************************************************************************/
39   /*************************************************************************/
40 
41   /* handle to a validation object */
42   typedef struct FT_ValidatorRec_ volatile*  FT_Validator;
43 
44 
45   /*************************************************************************/
46   /*                                                                       */
47   /* There are three distinct validation levels defined here:              */
48   /*                                                                       */
49   /* FT_VALIDATE_DEFAULT ::                                                */
50   /*   A table that passes this validation level can be used reliably by   */
51   /*   FreeType.  It generally means that all offsets have been checked to */
52   /*   prevent out-of-bound reads, that array counts are correct, etc.     */
53   /*                                                                       */
54   /* FT_VALIDATE_TIGHT ::                                                  */
55   /*   A table that passes this validation level can be used reliably and  */
56   /*   doesn't contain invalid data.  For example, a charmap table that    */
57   /*   returns invalid glyph indices will not pass, even though it can     */
58   /*   be used with FreeType in default mode (the library will simply      */
59   /*   return an error later when trying to load the glyph).               */
60   /*                                                                       */
61   /*   It also checks that fields which must be a multiple of 2, 4, or 8,  */
62   /*   don't have incorrect values, etc.                                   */
63   /*                                                                       */
64   /* FT_VALIDATE_PARANOID ::                                               */
65   /*   Only for font debugging.  Checks that a table follows the           */
66   /*   specification by 100%.  Very few fonts will be able to pass this    */
67   /*   level anyway but it can be useful for certain tools like font       */
68   /*   editors/converters.                                                 */
69   /*                                                                       */
70   typedef enum  FT_ValidationLevel_
71   {
72     FT_VALIDATE_DEFAULT = 0,
73     FT_VALIDATE_TIGHT,
74     FT_VALIDATE_PARANOID
75 
76   } FT_ValidationLevel;
77 
78 
79 #if defined( _MSC_VER )      /* Visual C++ (and Intel C++) */
80   /* We disable the warning `structure was padded due to   */
81   /* __declspec(align())' in order to compile cleanly with */
82   /* the maximum level of warnings.                        */
83 #pragma warning( push )
84 #pragma warning( disable : 4324 )
85 #endif /* _MSC_VER */
86 
87   /* validator structure */
88   typedef struct  FT_ValidatorRec_
89   {
90     ft_jmp_buf          jump_buffer; /* used for exception handling      */
91 
92     const FT_Byte*      base;        /* address of table in memory       */
93     const FT_Byte*      limit;       /* `base' + sizeof(table) in memory */
94     FT_ValidationLevel  level;       /* validation level                 */
95     FT_Error            error;       /* error returned. 0 means success  */
96 
97   } FT_ValidatorRec;
98 
99 #if defined( _MSC_VER )
100 #pragma warning( pop )
101 #endif
102 
103 #define FT_VALIDATOR( x )  ( (FT_Validator)( x ) )
104 
105 
106   FT_BASE( void )
107   ft_validator_init( FT_Validator        valid,
108                      const FT_Byte*      base,
109                      const FT_Byte*      limit,
110                      FT_ValidationLevel  level );
111 
112   /* Do not use this. It's broken and will cause your validator to crash */
113   /* if you run it on an invalid font.                                   */
114   FT_BASE( FT_Int )
115   ft_validator_run( FT_Validator  valid );
116 
117   /* Sets the error field in a validator, then calls `longjmp' to return */
118   /* to high-level caller.  Using `setjmp/longjmp' avoids many stupid    */
119   /* error checks within the validation routines.                        */
120   /*                                                                     */
121   FT_BASE( void )
122   ft_validator_error( FT_Validator  valid,
123                       FT_Error      error );
124 
125 
126   /* Calls ft_validate_error.  Assumes that the `valid' local variable */
127   /* holds a pointer to the current validator object.                  */
128   /*                                                                   */
129 #define FT_INVALID( _error )  FT_INVALID_( _error )
130 #define FT_INVALID_( _error ) \
131           ft_validator_error( valid, FT_THROW( _error ) )
132 
133   /* called when a broken table is detected */
134 #define FT_INVALID_TOO_SHORT \
135           FT_INVALID( Invalid_Table )
136 
137   /* called when an invalid offset is detected */
138 #define FT_INVALID_OFFSET \
139           FT_INVALID( Invalid_Offset )
140 
141   /* called when an invalid format/value is detected */
142 #define FT_INVALID_FORMAT \
143           FT_INVALID( Invalid_Table )
144 
145   /* called when an invalid glyph index is detected */
146 #define FT_INVALID_GLYPH_ID \
147           FT_INVALID( Invalid_Glyph_Index )
148 
149   /* called when an invalid field value is detected */
150 #define FT_INVALID_DATA \
151           FT_INVALID( Invalid_Table )
152 
153 
154 FT_END_HEADER
155 
156 #endif /* FTVALID_H_ */
157 
158 
159 /* END */
160