import glob
import os

def checknonnull(cfg, functionName, nonnull):
  pos1 = cfg.find('<function name="' + functionName + '">')
  if pos1 < 0:
    return
  pos2 = cfg.find('</function>', pos1)
  if pos2 < 0:
    return
  functionCfg = cfg[pos1:pos2]
  s = None
  for argnr in range(10):
    argpos1 = functionCfg.find('<arg nr="'+str(argnr)+'">')
    if argpos1 < 0:
      continue
    argpos2 = functionCfg.find('</arg>', argpos1)
    notnullpos = functionCfg.find('not-null', argpos1)
    if notnullpos > 0 and notnullpos < argpos2:
      if s:
        s = s + ', ' + str(argnr)
      else:
        s = str(argnr)
  if s != nonnull:
    if not nonnull:
      nonnull = ''
    if not s:
      s = ''
    print(functionName + '\tglibc:' + nonnull + '\tcfg:' + s)



def parseheader(cppcheckpath, filename):
  f = open(filename,'rt')
  data = f.read()
  f.close()

  f = open(cppcheckpath + '/cfg/std.cfg', 'rt')
  stdcfg = f.read()
  f.close()

  f = open(cppcheckpath + '/cfg/posix.cfg', 'rt')
  posixcfg = f.read()
  f.close()

  while data.find('/*') >= 0:
    pos1 = data.find('/*')
    pos2 = data.find('*/', pos1+2)
    data = data[:pos1] + data[pos2+2:]

  data = data.replace('\\\n', '')

  while data.find('\n#') >= 0:
    pos1 = data.find('\n#')
    pos2 = data.find('\n', pos1+1)
    data = data[:pos1] + data[pos2:]

  while data.find('\n__BEGIN') >= 0:
    pos1 = data.find('\n__BEGIN')
    pos2 = data.find('\n', pos1 + 1)
    data = data[:pos1] + data[pos2:]

  while data.find('\n__END') >= 0:
    pos1 = data.find('\n__END')
    pos2 = data.find('\n', pos1 + 1)
    data = data[:pos1] + data[pos2:]

  data = data.replace('\n\n', '\n')
  data = data.replace('\t', '    ')
  data = data.replace(',\n  ', ',')
  data = data.replace(')\n  ', ',')
  data = data.replace('  ', ' ')

  output = []

  for line in data.split('\n'):
    if (line[:7] != 'extern ' and line.find(' extern ') < 0) or line[-1] != ';':
      continue

    functionNameEnd = line.find('(') - 1
    if functionNameEnd < 0:
      continue
    while line[functionNameEnd] == ' ':
       functionNameEnd = functionNameEnd - 1
    if functionNameEnd < 10:
      continue
    functionNameStart = functionNameEnd
    while line[functionNameStart] == '_' or line[functionNameStart].isalnum():
      functionNameStart = functionNameStart - 1
    if functionNameStart < 10:
      continue
    if line[functionNameStart] != '*' and line[functionNameStart] != ' ':
      continue
    functionNameStart = functionNameStart + 1
    if not line[functionNameStart].isalpha():
      continue

    functionName = line[functionNameStart:functionNameEnd+1]

    nonnull = None

    nonnullStart = line.find('__nonnull')
    if nonnullStart > 0:
      nonnullStart = nonnullStart + 9
      while nonnullStart < len(line) and line[nonnullStart] == ' ':
        nonnullStart = nonnullStart + 1
      if nonnullStart >= len(line) or line[nonnullStart] != '(':
        continue
      while line[nonnullStart] == '(':
        nonnullStart = nonnullStart + 1
      nonnullEnd = line.find(')', nonnullStart)
      nonnull = line[nonnullStart:nonnullEnd]

    checknonnull(stdcfg, functionName, nonnull)
    checknonnull(posixcfg, functionName, nonnull)

    if nonnull:
      s = functionName + ' ' + nonnull
      if s not in output:
        output.append(s)


for f in glob.glob('/usr/include/*.h'):
    parseheader(os.path.expanduser('~/cppcheck'), f)