maleadt / creduce_julia Goto Github PK

A cron job with the following works around the issue: pgrep --parent 1 julia >/dev/null && kill -9 $(pgrep --parent 1 julia) &>/dev/null

creduce uses clang_delta https://github.com/csmith-project/creduce/tree/master/clang_delta

Which performs C/C++ aware semantic transformations.

Ideas for impactful prunings.

• export/import statements
• include (and subsequent file deletions)
• method body / struct body
• method to generic function
• Static macro expansions
• docstring/comments

The "annoying" bit here is that both JuliaSyntax and CSTParsers don't support a proper rewrite functionality.
I think the closest is in JuliaSyntax to rewrite spans with whitespace characters?

cc: @c42f

When testing changes to a devved packages, the scripts here copy the depot into a temporary location, but need to patch up the environment's Manifest.toml to replace references to that package to the changed version:

That's fragile, as it's possible to craft an environment where devved packages contain, e.g. a relative path.

$ ./run 
./run: line 31: EPOCHSECONDS: unbound variable
$ bash --version
GNU bash, version 4.2.46(2)-release (x86_64-redhat-linux-gnu)
Copyright (C) 2011 Free Software Foundation, Inc.
License GPLv3+: GNU GPL version 3 or later <http://gnu.org/licenses/gpl.html>

This is free software; you are free to change and redistribute it.
There is NO WARRANTY, to the extent permitted by law.

Could use date +%s instead?

@gbaraldi pointed me towards https://github.com/marxin/cvise, which is supposedly a faster version of creduce, and should be fully compatible. We should try this out to see if it improves reducing Julia code.

For very large projects a good starting point would be to take code-coverage of the reducer into consideration.

PATH=$HOME/builds/julia-asserts:$PATH ./julia --code-coverage=@$(pwd)/depot/dev main.jl

One can use CoverageTools.jl to parse the results, but we would need to use JuliaSyntax or CSTParser to understand
the coverage better and only delete method bodies that are fully unreached and not exports, types, and others.