croemheld / icarus Goto Github PK
View Code? Open in Web Editor NEWA LLVM-based general-purpose static analysis tool.
License: MIT License
A LLVM-based general-purpose static analysis tool.
License: MIT License
Describe the bug
If Doxygen is not installed on the system, the CMake and build output silently fail without any errors.
To Reproduce
mkdir build && cd build
cmake .. -DOPTION_BUILD_DOCS=ON
make
The CMake output says that Doxygen was not found (if not installed), but continues on and does not fail.
Expected behavior
Make Doxygen a required package if building with OPTION_BUILD_DOCS
enabled.
This issue is merely for testing the Docker scripts triggered by GitHub Actions.
Is your feature request related to a problem? Please describe.
Node16.js is being deprecated in some of our actions.
Describe the solution you'd like
Update the codecov
, upload-artifact
, and deploy-pages
actions.
Describe alternatives you've considered
None.
Additional context
None.
Move all classes, structs and functions to their appropriate namespace.
Add a call to clang-tidy
in the clang
workflow.
Is your feature request related to a problem? Please describe.
The addition of the gcovr
tool in #7 requires compiler-rt
to be installed in the docker images.
Describe the solution you'd like
Add -DLLVM_ENABLE_RUNTIMES="compiler-rt"
to the CMake options and install the compiler-rt
target.
Install gcovr
via pip
and determine code coverage of the unit tests.
A declarative, efficient, and flexible JavaScript library for building user interfaces.
๐ Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. ๐๐๐
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google โค๏ธ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.