psychec
psychec copied to clipboard
ltcmelo
A compiler frontend for the C programming language
Languages for which bindings are mostly desired: - [ ] Python - [ ] Rust - [ ] Lua - [ ] OCaml - [ ] Go - [ ]...
In Python I can do this: ```py class_reduction_v2 = ClassDef( name="ReductionV2", bases=[], keywords=[], body=[ Expr(value=set_value("foo")), Assign(targets=[Name(id="AUTO", ctx=Store())], value=set_value("auto")), Assign(targets=[Name(id="NONE", ctx=Store())], value=set_value("none")), Assign(targets=[Name(id="SUM", ctx=Store())], value=set_value("sum")), Assign( targets=[Name(id="SUM_OVER_BATCH_SIZE", ctx=Store())], value=set_value("sum_over_batch_size"), ), ],...
Do you have any advice for getting this to compile on Windows? I'm using MSYS with the Windows version of cmake so I can call the generator for "MSYS Makefiles",...
In #46, `psychec`'s `test-suite.exe` was disabled (on Win32) as it does not correctly link on that platform. They were disabled because (at the time of #46) `psychec`'s tests live in...
This PR implements support for generating a per-process temporary file for the purposes of preprocessing; this allows `cnip` to be run on large files as follows: ``` ./cnip --cc-pp /tmp/moo/b.c...
**Is your feature request related to a problem? Please describe.** PR #40 "fell over" because it used the legally-allowed C++17 header `filesystem`, but this does not actually exist in `psychec`...
**Description** Generate a large large file: ``` for i in $(seq 1 100000); do echo "int i$i;" >> a.c; done ``` Run cnip: ``` ./cnip a.c ``` Get the error:...
source code: int main() { int sum=5; sum = 3 * M + 4 * M + 5 * M; int test=assgin(sum); printf(sum); return 0; } AST: TranslationUnit |--FunctionDefinition `int...
Hello, I am very interested in your project and want to continue to do the generation and analysis of CFG based on your project. But after reading your readme documentation...