<commit_before>* Interprocedural Ctypes: The Big TODO

** Yet To Do
*** Clear up disaster in inferctypes constraint generation
    Lists of lists of constraints, etc, all in a very ad-hoc way.
    How to tame?
*** Add deferred pointer arithmetic checks
    As on 9/29...

    *Will have to emit a warning!* Since we're not actually doing the
    check, just emitting a check assuming the check gets done...

** Done
*** Clear up disaster in consgen wrt stringmaps vs. varmaps<commit_msg>todo -> todone<commit_after>* Interprocedural Ctypes: The Big TODO

** Yet To Do
*** Ditch all variadic functions
    No sense in having a special list of excluded functions; drop
    all calls to vararg functions.
*** Merge callgraph generators
    I have my own callgraph generation stuff, while cilTag uses
    something else...
*** Clear up disaster in inferctypes constraint generation
    Lists of lists of constraints, etc, all in a very ad-hoc way.
    How to tame?
** Done
*** Add deferred pointer arithmetic checks
    As on 9/29...

    *Will have to emit a warning!* Since we're not actually doing the
    check, just emitting a check assuming the check gets done...

*** Clear up disaster in consgen wrt stringmaps vs. varmaps
{'fraction_non_alphanumeric': 0.0701468189233279, 'fraction_numerical': 0.004893964110929853, 'mean_word_length': 3.4296028880866425, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 4, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '4580173', 'n_tokens_mistral': 344, 'n_tokens_neox': 319, 'n_words': 177}