croemheld / icarus Goto Github PK
View Code? Open in Web Editor NEWA LLVM-based general-purpose static analysis tool.
License: MIT License
icarus's People
Contributors
Stargazers
Watchers
Forkers
gmh5225icarus's Issues
Move classes, structs and functions to appropriate namespaces
Move all classes, structs and functions to their appropriate namespace.
Test Docker CI actions
This issue is merely for testing the Docker scripts triggered by GitHub Actions.
[FEATURE] icarus: Add gcovr for code coverage workflow
Install gcovr via pip and determine code coverage of the unit tests.
[FEATURE] icarus: Update Docker images to include compiler-rt
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.
[FEATURE] icarus: Add clang-tidy support in GitHub CI
Add a call to clang-tidy in the clang workflow.
[FEATURE] icarus: Update GitHub Actions for CI workflows
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.
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.