andreypopp

Program Analysis Resources

(draft; work in progress)

See also:

• Compilers
  • correctness
• Program analysis:
• Dynamic analysis - instrumentation, translation, sanitizers

andreypopp

const Cell = stylesheet.style("div", {
  displayName: "Cell",
  
  baseline: "100%",
  overflow: "hidden",
  boxSizing: "border-box",
  position: "absolute",
  top: 0,
  left: 0,
  right: "2px",

andreypopp

paths:

    /identity-wizard :
      action:
        type: wizard
        title: Identity Wizard
        path:
        - pick-identity:
          - edit-identity:

andreypopp

macro makeString {
  case { _ $tok } => {
  	return [makeValue(#{$tok}[0].token.value, #{here})]
  }
}
macro qw {
  rule { ($delimited ...) } => { [$(makeString $delimited) (,) ...] }
}

qw(space separated words) // ["space", "separated", "words"]