search

qqiangwu / cppsafe

Cpp lifetime safety profile static analyzer
MIT License
45 stars 1 forks source link

contract inference for std map from string to string #28

Open qqiangwu opened 7 months ago

qqiangwu commented 7 months ago 
std::map<std::string, std::string> m;
const auto& s1 = m.at("key");
// pset(s1) == pset("key")

const auto& s2 = m["key"];
// pset(s2) == pset("key")
qqiangwu commented 5 months ago

FD->getQualifiedNameAsString()

std::map<int, int>::at