package frama-c

You can search for identifiers within the package.

in-package search v0.2.0

Platform dedicated to the analysis of source code written in C

Install

dune-project

Dependency

sha256=3ac0f995261ec829a7bd042bf70fc29ac6379029eb9df30bcc044748eb4d2a56

The C Lexer.

val init : 
  filename:string ->
  (Lexing.lexbuf -> 'a) ->
  Lexing.lexbuf * (Lexing.lexbuf -> 'a)

val finish : unit -> unit

val initial : Lexing.lexbuf -> Cparser.token

This is the main lexing function

val push_context : unit -> unit

Start a context

val add_type : string -> unit

Add a new string as a type name

val add_identifier : string -> unit

Add a new string as a variable name

val pop_context : unit -> unit

Remove all names added in this context

val annot_char : char ref

The character to recognize logic formulae in comments

val currentLoc : unit -> Cabs.cabsloc

val is_c_keyword : string -> bool

true if the given string is a C keyword.