repo.or.cz
/
smatch.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
debug: introduce __smatch_mem()
2018-11-28
Dan Carpenter
debug: introduce __smatch_mem()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpente
r
db: don't
s
av
e
struc
t
members
for intege
r
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Da
n
C
a
rpen
t
er
i
mplied: re
m
ove
an unnece
s
sary NULL check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
D
a
n Carpenter
nul_
t
erminator
:
exp
o
rt th
e
i
s_nul_term
i
nated() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
D
an Carpenter
kpa
t
ch: us
e
git
i
nstea
d
of t
r
ying to creat
e
d
iff
s
by
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan C
a
rpenter
s
truct_assignmen
t
:
h
a
n
dle unions as w
e
ll
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpenter
missing_bre
a
k: t
u
r
n it off by d
e
fault
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
D
an Carpenter
free
_
str
i
ct: fix some
f
alse pos
i
tives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan Car
p
en
t
er
R
evert "Loo
k
a
cross the entire compile line f
o
r sma
t
c
h
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-14
D
a
n Carp
e
nter
trinity: P
r
o
o
f
of co
n
cept
t
o auto-gene
r
ate t
r
inity
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-01
D
a
n
Carpenter
user_data: rena
m
e
to smat
c
h_kern
e
l_
u
s
e
r
_data
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-01
D
a
n
Ca
r
penter
assi
g
ned_expr: ren
a
me to smatch_a
s
s
igned_expr
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-31
Dan Ca
r
pe
n
ter
smatch: make
the --enable/disable optio
n
s
take strings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-31
Dan C
a
rp
e
nter
smatch_nul_terminated: fix com
p
ile
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-31
Dan Carpenter
untrac
k
e
d
_param: fix a NULL dereferen
c
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-30
D
a
n Carpe
n
t
e
r
uninitialized: fix
a crashing bu
g
parsing "return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-23
Dan Ca
r
penter
nul_termi
n
ator: track when
s
trings
ha
v
e
a
NU
L
terminator
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Da
n
Carpe
n
ter
user_data2: fi
x
a type
i
ssu
e
in caller_info
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpenter
user_da
t
a: integers can't be der
e
feren
c
ed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpenter
c
o
mpa
r
ison: make a bu
f
fer
l
a
r
g
er t
o
make GCC happ
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpenter
data_source: track assignments better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpenter
e
xtra
:
pr
e
v
ent a divid
e
b
y
zer
o
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Dan Ca
r
p
enter
modification_hooks:
u
se
the DB
for f
r
ob(&foo)
;
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Dan Ca
r
p
e
nter
sval: i
n
t
roduce sval_bino
p
_ov
e
rflo
w
s_
n
o_sign()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-28
Da
n
Ca
r
penter
extra: undo bo
g
us unop
changes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-27
Dan Carp
e
nter
array_values: fix up and s
u
ppor
t
two
d
imensional local
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-27
D
a
n Ca
r
pe
n
ter
pa
r
am_
s
et: don't re
c
ord a
p
ar
a
m_
s
et
fo
r
p
++ cha
n
ges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-27
D
a
n Carpenter
function_ho
o
k
s: re-hac
k
around moving
t
h
e
fake par
a
meter
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-26
Dan Car
p
en
t
er
array_value
s
: store array values of
s
truct member a
r
rays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-26
Dan Carpenter
function_hook
s
:
h
a
ck ar
o
und fall
o
ut from mov
i
ng th
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-24
Dan Ca
r
p
e
nter
comparison: don't return invalid pa
r
a
m
s in get_mask_comparison()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Car
p
enter
db
:
don
'
t
print "failed to open" wa
r
n
i
ngs
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
D
an Car
p
en
t
e
r
param_set: rem
o
ve
so
m
e dead
c
ode
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Da
n
Carp
e
nter
mtag: temporaril
y
d
i
s
able generating
m
t
a
g for kmalloc()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carp
e
n
t
er
express
i
o
n
s
: don't crash o
n
inval
i
d code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan
C
arpe
n
ter
extra: fix a type b
u
g in inserting info into caller_inf
o
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan
Carpenter
kerne
l
:
don't insist that the param
e
ter
i
s nam
e
d "er
r
or"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
ext
r
a: export is_imposs
i
ble_variable()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan
Carpenter
flow: fix
a cra
s
h
i
ng bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan C
a
rpente
r
func
t
i
o
n_hooks: do the
f
ake parameter assignm
e
nt after
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
param_limit: fix generify_mtag_range()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Da
n
Carp
e
nter
extra: cl
e
ar_point
e
d
_at_state() is a nomod state
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan
Carpent
e
r
param_s
e
t: handle when the stack variable
was
modified
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
parse_
c
all_
m
ath: don't say the retu
r
n is eq
u
al to a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Da
n
Carp
e
nter
scope: fi
x
is_oute
r
_
s
tmt()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Ca
r
p
enter
s
v
al: handle cast
i
ng to boo
l
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpen
t
er
array_v
a
l
u
es:
don't cra
s
h
o
n
i
nvalid co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpen
t
e
r
no_spec:
r
ecord when fu
n
ctions hav
e
a barrier
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-14
D
an Carpe
n
t
e
r
extra
/
type: fix
type of return PARAM_ADD/SET
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-14
Dan Car
p
e
n
ter
p
a
ram_limit: make mt
a
g li
m
its mo
r
e
g
en
e
ric
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-12
Dan Carpenter
p
a
ram_s
e
t: don't sav
e
if the parent
i
s
se
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpenter
atomic_in
c
_dec:
a
dd a couple mor
e
functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpenter
signed_i
n
t
e
ger_overflow: ignore thi
s
f
or the kernel
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpenter
math:
h
a
ndle conditionals like: "a = b?: c
;
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan C
a
rpenter
nospec: don't fi
l
l
t
he
DB u
p
with ga
r
bage
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Da
n
Carpenter
s
izeo
f
: fix NULL
d
ereference parsing
i
n
v
ali
d
c
ode
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan
C
arpenter
strings: tr
u
ncating
lar
g
e strin
g
s
cause
s
SQL pro
b
lems
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan
C
ar
p
enter
type_v
a
l:
d
o
n't d
o
uble r
e
cord
g
loba
l
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
D
a
n Carpen
t
er
target: man ssize_t be u
n
signed long instead of unsig
n
e
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpenter
extra: don't rese
t
imp
o
ssible state
s
after a condition
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-10
Dan Carpent
e
r
array: store pos
s
ible ar
r
ay values for simple array
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-06
Dan C
a
rpenter
mtag: HACK:
ret
u
rn fal
s
e i
f
the
m
t
a
g i
s
zero
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-06
Dan Carpenter
f
l
o
w
:
fake an assign
s
tatement for global initializers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-06
Dan Carpenter
flow:
t
weak how fu
n
ction
t
imeouts hap
p
en
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-06
Dan
Carpente
r
db: fix
a
t
ype bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-06
Dan
Carpenter
smatch_flow: d
o
n't pars
e
inline fu
n
ctions after we
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-31
Dan Carpen
t
e
r
m
t
a
g: a
d
d
s
tring inform
a
tion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-31
Dan Ca
r
penter
flow:
h
andle __b
u
iltin_mu
l
_overfl
o
w()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-29
Dan
C
arpen
t
er
kern
e
l_printf: sil
e
nce "specifier is cast from pointer
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-28
Da
n
Ca
r
pent
e
r
nosp
e
c:
turn
o
f
f speculation at rmb(), smb_rmb
(
) and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-28
D
a
n
Ca
r
pe
n
ter
check_signed: ignore
f
ake assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-25
Dan Carpenter
m
t
a
g
_data: clear cac
h
e
at start of
f
unction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-25
Dan Carpenter
nospec
:
fix
unin
i
t
i
a
liz
e
d pointer crash
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
Da
n
Carpen
t
er
helper: fake calls are not equ
i
valent to anything
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carpente
r
compari
s
on
:
handle comparisons:
if ((foo = frob(
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
Da
n
C
a
rpenter
compari
s
on: imp
r
ove "foo = m
i
n(
.
.
.
)
;
"
a
ssignmen
t
h
a
ndling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
D
a
n
C
a
rpenter
com
p
a
r
i
son:
h
ack
a
round some type bugs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carpe
n
ter
m
tag_data: remove duplicate mtag_dat
a
an
d
random smal
l
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carp
e
nter
cont
a
i
ner_of: fix a bug in get
_
shared_cnt()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
Dan C
a
rpenter
check_check
_
deref: silen
c
e some false posi
t
ives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-18
Dan Car
p
e
n
ter
nospec
:
stor
e
functions that retu
r
n
nos
p
ec indexes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-15
D
an
C
arp
e
nter
nospec: handle CALL_N
O
SP
E
C
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-14
Dan Carpente
r
db:
in
t
rodu
c
e the --db-fil
e
=/pa
t
h/t
o
/
s
match_db
.
sqlite
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-13
D
an Carp
e
nter
user_dat
a
2
: us
e
f
u
nction retur
n
s in points_to_user
_
data()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-13
Dan
C
a
r
p
en
t
er
f
i
les: c
h
e
ck for
s
c
hem
a
files r
e
lative to
t
he b
i
n_dir
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-13
Dan C
a
rpenter
smatch
.
c: export bi
n
_dir to everyone
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-10
Dan Carpen
t
er
co
r
e: print the fu
l
l
path
w
he
n
--info is used
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-08
Dan
C
arpenter
user_dat
a
: improve how
returned data is handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-08
Dan
Carpenter
capped: set retu
r
ned struct m
e
mbers
to capped
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-06
D
a
n Carpe
n
ter
user_da
t
a: fix validati
o
n
test
f
or
return
e
d s
t
ruct
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan C
a
rpenter
implied: don't
p
r
int so many "t
u
rning off implicati
o
ns
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan Car
p
en
t
er
mtag: delete some bogus
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpenter
mtag_d
a
ta: update
mtag
_
data to use
g
et_mta
g
_
a
ddr_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan
Carpenter
mtag: f
i
x expr_to_mtag_offset()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
D
a
n Ca
r
penter
mtag: introduce
g
et_
m
tag_addr_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan C
a
r
p
e
n
ter
param_to_
m
tag_data
:
rename "data_n
a
me" -
-
> "
n
ame"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan
Carpenter
mtag
:
do
n
't se
t
the name in expr
_
to_mta
g
_offs
e
t()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpenter
mta
g
_data:
c
ache DB results
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan C
a
rpe
n
ter
ex
t
ra: move g
e
t_addres
s
_rl() out of get_ex
t
ra_
s
tate()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Da
n
Ca
r
penter
implicit_dependencies: white
s
pace
cha
n
ges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next