Light

microsoft / checkedc-musl Goto Github PK

This repo contains a version of musl that is being modified to Checked C. Checked C is an extension to C that adds checking to detect or prevent common programming errors such as out-of-bounds memory accesses.

License: Other

Makefile 0.26% C 94.98% Assembly 4.22% Awk 0.41% Shell 0.11% sed 0.01%

checkedc-musl's Introduction

About

This is a version of musl libc that has been converted to Checked C. The sources here have been mirrored from this repo. This version of musl is meant to compile with the checkedc-clang compiler.

Build musl with Checked C clang

export PATH=</path/to/checkedc-clang/bin>
TOP_DIR=/some/dir
cd $TOP_DIR
git clone https://github.com/microsoft/checkedc-musl.git src
mkdir build && cd build
CC=clang CFLAGS=-fPIC LDFLAGS=-fPIC ../src/configure --prefix=$PWD --disable-shared
make clean && make -j32 && make install

Test musl with libc-test

libc-test is meant to test musl. We have a version of libc-test called checkedc-libc-test that has been modified to test checkedc-musl. Refer to that repo for the build steps for checkedc-libc-test.

Note: Before building checkedc-libc-test make sure you set the following environment variable:

export MUSL_PATH=$TOP_DIR/build

checkedc-musl's People

Contributors

Stargazers

Watchers

Forkers

dopelsunce taffywrinkle claudiusgonzo global-localhost global19 global19-atlassian-net chmarp arunkumarbhattar

checkedc-musl's Issues

This repo is missing important files

There are important files that Microsoft projects should all have that are not present in this repository. A pull request has been opened to add the missing file(s). When the pr is merged this issue will be closed automatically.

Microsoft teams can learn more about this effort and share feedback within the open source guidance available internally.

Merge this pull request

This repo is missing a LICENSE file

This repository is currently missing a LICENSE file.

A license helps users understand how to use your project in a compliant manner. You can find the standard MIT license Microsoft uses at: https://github.com/microsoft/repo-templates/blob/main/shared/LICENSE.

If you would like to learn more about open source licenses, please visit the document at https://aka.ms/license (Microsoft-internal guidance).

Compiler errors on recent changes to checkedc-clang

The code fails to build under the compiler from the latest master branch. Most errors are caused by assignments that invalidate bounds of some variable (updating a variable used in the bounds declaration of some other variable).

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.