src/highlighter.c

Sun, 11 Jun 2023 15:16:48 +0200

author
Mike Becker <universe@uap-core.de>
date
Sun, 11 Jun 2023 15:16:48 +0200
changeset 70
60cecca5e484
parent 67
5da2cb5aea6b
child 75
c72b250866ab
permissions
-rw-r--r--

fix illegal memory access when input file does not end with line break

/*
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS HEADER.
 *
 * Copyright 2016 Mike Becker. All rights reserved.
 *
 * Redistribution and use in source and binary forms, with or without
 * modification, are permitted provided that the following conditions are met:
 *
 *   1. Redistributions of source code must retain the above copyright
 *      notice, this list of conditions and the following disclaimer.
 *
 *   2. Redistributions in binary form must reproduce the above copyright
 *      notice, this list of conditions and the following disclaimer in the
 *      documentation and/or other materials provided with the distribution.
 *
 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
 * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
 * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE
 * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
 * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
 * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
 * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
 * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
 * POSSIBILITY OF SUCH DAMAGE.
 *
 */

#include "highlighter.h"

#include <stdlib.h>
#include <stdio.h>
#include <string.h>
#include <ctype.h>

#include <cx/string.h>

static void put_htmlescaped(CxBuffer *dest, char c) {
    if (c == '>') {
        cxBufferPutString(dest, "&gt;");
    } else if (c == '<') {
        cxBufferPutString(dest, "&lt;");
    } else if (c) {
        cxBufferPut(dest, c);
    }
}

static void put_htmlescapedstr(CxBuffer *dest, cxstring s) {
    for (int i = 0 ; i < s.length ; i++) {
        put_htmlescaped(dest, s.ptr[i]);
    }
}

static int check_keyword(cxstring word, const char** keywords) {
    for (int i = 0 ; keywords[i] ; i++) {
        if (cx_strcmp(word, cx_str(keywords[i])) == 0) {
            return 1;
        }
    }
    return 0;
}

static int check_capsonly(cxstring word) {
    for (size_t i = 0 ; i < word.length ; i++) {
        if (!isupper(word.ptr[i]) && !isdigit(word.ptr[i])
                && word.ptr[i] != '_') {
            return 0;
        }
    }
    return 1;
}

/* Plaintext Highlighter */

void c2html_plain_highlighter(char const *src, CxBuffer *dest,
        c2html_highlighter_data *hd) {
    while (*src && *src != '\n') {
        if (*src != '\r') {
            put_htmlescaped(dest, *src);
        }
        src++;
    }
    cxBufferPut(dest, '\n');
}

/* C Highlighter */

static const char* ckeywords[] = {
    "auto", "break", "case", "char", "const", "continue", "default", "do",
    "double", "else", "enum", "extern", "float", "for", "goto", "if", "int",
    "long", "register", "return", "short", "signed", "sizeof", "static",
    "struct", "switch", "typedef", "union", "unsigned", "void", "volatile",
    "while", NULL
};

void c2html_c_highlighter(char const *src, CxBuffer *dest,
        c2html_highlighter_data *hd) {
    /* reset buffers without clearing them */
    hd->primary_buffer.size = hd->primary_buffer.pos = 0;
    hd->secondary_buffer.size = hd->secondary_buffer.pos = 0;
    
    /* alias the buffers for better handling */
    CxBuffer *wbuf = &hd->primary_buffer;
    CxBuffer *ifilebuf = &hd->secondary_buffer;
    
    /* local information */
    size_t sp = (size_t)-1;
    int isstring = 0, iscomment = 0, isinclude = 0, parseinclude = 0;
    char quote = '\0';
    int isescaping = 0;
    
    /* continue a multi line comment highlighting */
    if (hd->multiline_comment) {
        iscomment = 1;
        cxBufferPutString(dest, "<span class=\"c2html-comment\">");
    }

    char c;
    do {
        c = src[++sp];
        if (c == '\r') continue;
        
        /* comments */
        if (!isstring && c == '/') {
            if (hd->multiline_comment && sp > 0 && src[sp-1] == '*') {
                iscomment = 0;
                hd->multiline_comment = 0;
                cxBufferPutString(dest, "/</span>");
                continue;
            } else if (!iscomment && (src[sp+1] == '/' || src[sp+1] == '*')) {
                iscomment = 1;
                hd->multiline_comment = (src[sp+1] == '*');
                cxBufferPutString(dest, "<span class=\"c2html-comment\">");
            }
        }

        if (iscomment) {
            if (c == '\n') {
                cxBufferPutString(dest, "</span>\n");
            } else {
                put_htmlescaped(dest, c);
            }
        } else if (isinclude) {
            if (c == '<') {
                cxBufferPutString(dest,
                        "<span class=\"c2html-stdinclude\">&lt;");
            } else if (c == '\"') {
                if (parseinclude) {
                    cxBufferPutString(dest, "\">");
                    cxBufferWrite(ifilebuf->space, 1, ifilebuf->size, dest);
                    cxBufferPutString(dest, "\"</a>");
                    parseinclude = 0;
                } else {
                    cxBufferPutString(dest,
                            "<a class=\"c2html-userinclude\" href=\"");
                    cxBufferPut(ifilebuf, '\"');
                    parseinclude = 1;
                }
            } else if (c == '>') {
                cxBufferPutString(dest,  "&gt;</span>");
            } else {
                if (parseinclude) {
                    cxBufferPut(ifilebuf, c);
                }
                put_htmlescaped(dest, c);
            }
        } else {
            /* strings */
            if (!isescaping && (c == '\'' || c == '\"')) {
                if (isstring) {
                    put_htmlescaped(dest, c);
                    if (c == quote) {
                        isstring = 0;
                        cxBufferPutString(dest, "</span>");
                    } else {
                        put_htmlescaped(dest, c);
                    }
                } else {
                    isstring = 1;
                    quote = c;
                    cxBufferPutString(dest, "<span class=\"c2html-string\">");
                    put_htmlescaped(dest, c);
                }
            } else {
                if (isstring) {
                    put_htmlescaped(dest, c);
                } else if (isalnum(c) ||  c == '_' || c == '#') {
                    /* buffer the current word */
                    cxBufferPut(wbuf, c);
                } else {
                    /* write buffered word, if any */
                    if (wbuf->size > 0) {
                        cxstring word = cx_strn(wbuf->space, wbuf->size);
                        int closespan = 1;
                        cxstring typesuffix = CX_STR("_t");
                        if (check_keyword(word, ckeywords)) {
                            cxBufferPutString(dest,
                                    "<span class=\"c2html-keyword\">");
                        } else if (cx_strsuffix(word, typesuffix)) {
                            cxBufferPutString(dest,
                                "<span class=\"c2html-type\">");
                        } else if (word.ptr[0] == '#') {
                            isinclude = !cx_strcmp(word, CX_STR("#include"));
                            cxBufferPutString(dest,
                                "<span class=\"c2html-directive\">");
                        } else if (check_capsonly(word)) {
                            cxBufferPutString(dest,
                                "<span class=\"c2html-macroconst\">");
                        } else {
                            closespan = 0;
                        }
                        put_htmlescapedstr(dest, word);
                        if (closespan) {
                            cxBufferPutString(dest, "</span>");
                        }
                    }
                    wbuf->pos = wbuf->size = 0; /* reset word buffer */
                    
                    /* write current character */
                    put_htmlescaped(dest, c);
                }
            }

            isescaping = !isescaping & (c == '\\');
        }
    } while (c && c != '\n');
}

/* Java Highlighter */

static const char* jkeywords[] = {
    "abstract", "continue", "for", "new", "switch", "assert", "default", "goto",
    "package", "synchronized", "boolean", "do", "if", "private", "this",
    "break", "double", "implements", "protected", "throw", "byte", "else",
    "import", "public", "throws", "case", "enum", "instanceof", "return",
    "transient", "catch", "extends", "int", "short", "try", "char", "final",
    "interface", "static", "void", "class", "finally", "long", "strictfp",
    "volatile", "const", "float", "native", "super", "while", NULL
};

void c2html_java_highlighter(char const *src, CxBuffer *dest,
        c2html_highlighter_data *hd) {
    /* reset buffers without clearing them */
    hd->primary_buffer.size = hd->primary_buffer.pos = 0;
    hd->secondary_buffer.size = hd->secondary_buffer.pos = 0;

    /* alias the buffers for better handling */
    CxBuffer *wbuf = &hd->primary_buffer;
    
    /* local information */
    size_t sp = (size_t)-1;
    int isstring = 0, iscomment = 0, isimport = 0;
    char quote = '\0';
    int isescaping = 0;

    if (hd->multiline_comment) {
        iscomment = 1;
        cxBufferPutString(dest, "<span class=\"c2html-comment\">");
    }

    char c;
    do {
        c = src[++sp];
        if (c == '\r') continue;
        
        /* comments */
        if (!isstring && c == '/') {
            if (hd->multiline_comment && sp > 0 && src[sp-1] == '*') {
                iscomment = 0;
                hd->multiline_comment = 0;
                cxBufferPutString(dest, "/</span>");
                continue;
            } else if (!iscomment && (src[sp+1] == '/' || src[sp+1] == '*')) {
                iscomment = 1;
                hd->multiline_comment = (src[sp+1] == '*');
                cxBufferPutString(dest, "<span class=\"c2html-comment\">");
            }
        }

        if (iscomment) {
            if (c == '\n') {
                cxBufferPutString(dest, "</span>\n");
            } else {
                put_htmlescaped(dest, c);
            }
        } else if (isimport) {
            /* TODO: local imports */
        } else {
            /* strings */
            if (!isescaping && (c == '\'' || c == '\"')) {
                if (isstring) {
                    put_htmlescaped(dest, c);
                    if (c == quote) {
                        isstring = 0;
                        cxBufferPutString(dest, "</span>");
                    } else {
                        put_htmlescaped(dest, c);
                    }
                } else {
                    isstring = 1;
                    quote = c;
                    cxBufferPutString(dest,
                        "<span class=\"c2html-string\">");
                    put_htmlescaped(dest, c);
                }
            } else {
                if (isstring) {
                    put_htmlescaped(dest, c);
                } else if (isalnum(c) || c == '_' || c == '@') {
                    /* buffer the current word */
                    cxBufferPut(wbuf, c);
                } else {
                    /* write buffered word, if any */
                    if (wbuf->size > 0) {
                        cxstring word = cx_strn(wbuf->space, wbuf->size);
                        int closespan = 1;
                        if (check_keyword(word, jkeywords)) {
                            cxBufferPutString(dest,
                                "<span class=\"c2html-keyword\">");
                        } else if (isupper(word.ptr[0])) {
                            cxBufferPutString(dest,
                                "<span class=\"c2html-type\">");
                        } else if (word.ptr[0] == '@') {
                            cxBufferPutString(dest,
                                "<span class=\"c2html-directive\">");
                        } else if (check_capsonly(word)) {
                            cxBufferPutString(dest,
                                "<span class=\"c2html-macroconst\">");
                        } else {
                            closespan = 0;
                        }
                        put_htmlescapedstr(dest, word);
                        
                        if (closespan) {
                            cxBufferPutString(dest, "</span>");
                        }
                    }
                    wbuf->pos = wbuf->size = 0; /* reset buffer */
                    
                    /* write current character */
                    put_htmlescaped(dest, c);
                }
            }

            isescaping = !isescaping & (c == '\\');
        }
    } while (c && c != '\n');
}

mercurial