semvec/pypi-packages huggingface dataset:
schecker 0.2.0
Simplify and wrap the use of clang-tidy and coccinelle
License: MIT

# Schecker

A Security/Safety Checker for C/C++ based on Clang-Tidy and Coccinelle.

## Usage

```
pip install schecker
```

```
#!/usr/bin/python

import sys
import schecker

paths = [ './path/to/your/c/project' ]
excludes = [ './path/to/your/c/project/third-party' ]
scripts = ['schecker/tests/cocci-scripts/']

schecker = schecker.Schecker(paths, excludes=excludes)
schecker.options_coccinelle(script_dirs=scripts)

# now start the actual test, this may take some time
schecker.check_all(sys.stderr)
```


# Dependencies

Schecker depends on clang-tidy and coccinelle, though it is possible to disable
the modules seperatly. E.g. you don't need coccinelle: `Schecker(...,
modules_disabled=['coccinelle'])`

```
sudo aptitude install clang-tidy coccinelle
```

# Documentation

## Coccinelle

### Getting Comfy with Coccinelle

- https://lwn.net/Articles/315686/
- https://lwn.net/Articles/380835/
- https://events.static.linuxfound.org/sites/events/files/slides/Introduction%20to%20Coccinelle.pdf

### Defect Spotting with Coccinelle

- https://web.imt-atlantique.fr/x-info/coccinelle/stuart_thesis.pdf
openabm 1.0.12
A Python framework for agent-based modeling based on MESA
License: MIT

# Open-ABM

Open ABM runs on MESA and wraps basic MESA implementations with easy-to-use helper functions for fast and replicable ABM/multi-agent system prototyping.

If you're viewing this on PyPI, please see our Github repo for documentation and getting started: https://github.com/cma43/Open-ABM

To get a quick start, please see our oabm_example.py file. For a fuller introduction, see our Jupyter notebook in the 'Introductory Walkthrough' folder. Also, keep in mind that you may access the source code of any template models under the 'examples' folder.

All current starting models were built by the MESA team. Users are encouraged to explore MESA and its tools after getting started with Open ABM here: https://mesa.readthedocs.io/en/master/tutorials/intro_tutorial.html