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
extra: fix how hard max values are propagated
2020-10-15
Dan
Carpe
n
t
er
db: handle
e
xtern inline functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-10-14
Dan Carpenter
de
r
ef: avoi
d
the big_
s
tatem
e
n
t_sta
c
k
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-10-14
Dan Carpenter
param
_
used:
alwa
y
s assume "$" and "*$" are used
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-10-13
D
a
n Carpenter
s
m
at
c
h: add a [s
m
at
c
h
.
check_name] to the
outpu
t
w
ith
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-30
Dan
C
ar
p
enter
smatch_
s
c
r
ipts/n
e
w
_
b
u
gs
.
pl: tota
l
re-wr
i
te
o
f the
s
cript
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-30
D
a
n Carpenter
db/create_db:
d
on
'
t
use corrupte
d
DB
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-29
Dan C
a
rpenter
param_limit: use the shared copy of start states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-29
Dan C
a
rpenter
param_fi
l
t
e
r: dele
t
e un
u
s
ed
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-28
Dan Carpenter
f
l
ow: fake a parameter assignment for literals
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-25
Dan Carpenter
p
a
ram_key: remo
v
e bogus cons
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-25
D
a
n Carpenter
param_k
e
y: don't e
x
port state_name_to_p
a
ram_name()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-25
Dan
Carpenter
capped: con
v
e
r
t r
e
t
urn info to mode
r
n co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-25
Dan
Carpenter
assigned
_
ex
p
r
: cle
a
n
u
p old anc
i
ent code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-25
Dan Car
p
e
nter
locking
:
f
i
x compile (brok
e
n by add_function_d
a
ta(
)
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-25
Dan Car
p
e
n
ter
capped: change how
binops a
r
e handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-25
Dan C
a
rpenter
capped: change += assign
m
ents
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-25
D
a
n Carpente
r
kernel: add suppor
t
for array_s
i
ze()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-25
Dan Car
p
ente
r
kernel: f
i
x i
m
plied_
e
rr_ca
s
t_return() return
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-25
Dan Ca
r
penter
f
rees_param_strict: use g
e
t_param_key_from
_
sm
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-25
Dan Carpent
e
r
atomic_inc_dec: add some
more inc_dec functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-25
Dan Carpenter
implied: add
a comment in possib
l
e_false_helper()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-25
Dan Carpenter
param_key: u
s
e ge
t
_n
a
m
e
_s
y
m_f
r
om
_
key() instead
o
f retur
n
_sta
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-25
Da
n
Carpenter
f
l
ow: U
s
e add_function_d
a
t
a
()
t
o clean up
the code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-25
Da
n
Carpenter
d
b/param_key: move some key related functio
n
s
f
r
om
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-22
Dan Carpenter
unwind: ad
d
some more functi
o
ns that need
to be fr
e
ed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-22
D
an C
a
rpenter
ma
t
h: improve A
N
D ha
n
dli
n
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-22
Dan
C
ar
p
e
n
t
er
function_ptrs
:
don't
s
tore n
o
nsense fa
k
e pointe
r
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-22
Dan Carp
e
nter
unw
i
nd
:
hand
l
e free
i
ng in
o
ther
functions bette
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-22
Dan Carpenter
flow:
i
ntroduce f
u
n
ction data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-22
Dan Carpenter
pa
r
am_key: preserve parameter
a
ssignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-16
Dan
C
arpenter
check_unwind:
remo
v
e request_resource()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-16
Dan Carpente
r
db: fix db_incomplete
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-16
Dan Carp
e
nter
unwin
d
: fix a spe
l
ling
m
i
s
take "ballance" --> "balance"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-16
D
an Carpenter
db: record if the DB is missing i
n
formation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-16
Dan Carpenter
unwind: fix request_res
o
urce() checking
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-16
Dan C
a
rpenter
db:
s
p
l
i
t
ranged implication hooks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-15
Dan Carpenter
pa
r
am_
k
ey
:
introduce get
_
name_sym_from_key()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-15
Dan Carpenter
rang
e
s:
add is_err_or_null()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-15
Dan Carpen
t
e
r
unwind: re-write
t
he check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-15
Dan Carpe
n
ter
param_key: m
o
ve function
s
to
new file
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-11
D
a
n Carpe
n
t
er
helper: introduce get_param_key_from_va
r
_sym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-11
Dan Carpenter
r
e
turn_to
_
p
a
ra
m
: delete debug
c
ode
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-11
Dan Carpenter
retu
r
n_to_param: Fix retu
r
ned fu
n
ction parsing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-10
Dan Car
p
enter
funct
i
on_hooks: check the r
e
turn from the implied
_
r
eturn_hooks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-10
Dan Carpente
r
functi
o
n
_hoo
k
s:
rename a variable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-04
Dan Carpenter
db/
k
e
rnel
.
i
nsert:
the device_add(
)
function set
s
the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-04
Dan Carp
e
nter
db/kernel
.
insert: Ins
e
rt some vmalloc() l
i
m
i
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-01
Dan C
a
rpente
r
valida
t
ion:
u
pdate locking tests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-01
D
a
n Carpenter
Merge git
:
//git
.
kernel
.
org/pub/scm/devel/sparse/sparse
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-01
Dan Carpenter
h
e
l
per
:
export get_para
m
_key_from_sm(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-01
Dan Carpent
e
r
loc
k
ing: turn off locking
c
heck for non-SMP config
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-08-24
Gwen
d
a
l Gri
g
nou
Mak
e
file: Install
data
b
ase in a share
d
ire
c
tory
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-08-14
Dan Carpenter
f
r
ee
_
s
t
rict/
f
rees_
p
aram: re-write these checks a
b
it
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-08-14
Da
n
Ca
r
p
e
nter
free: f
i
x parsing of
p
arent_is
_
free_
v
ar_sym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-08-14
Dan Ca
r
penter
buf_size: ad
d
s
upport for kvcall
o
c()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-08-14
Da
n
C
a
rpent
e
r
buf_s
i
ze:
improve support for va
r
iab
l
e size arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-08-14
Dan
C
arpenter
b
uf_size: improve support f
o
r zero size arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-08-13
Dan Car
p
enter
cap
p
ed:
move binop ha
n
dling into
a sepa
r
a
te function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-08-13
Dan Carpenter
capp
e
d
:
h
a
rd ma
x
does not mean ca
p
ped
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-08-11
Dan Ca
r
penter
db/
s
m
d
b
: port it
to py
t
hon3
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-08-11
Dan Carpenter
d
b/sm
d
b: add
U
SER_PTR type
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-08-06
Dan Carpenter
equiv: delet
e
unused remove_from_equiv_exp
r
() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-08-05
Dan Carp
e
n
t
e
r
user
_
data: cl
e
an
u
p
match_a
s
sign()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-08-05
Dan Carpent
e
r
user_data:
mark array_index_ma
s
k_n
o
s
p
ec a
s
c
a
pped
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-08-05
D
a
n
Carpente
r
points
_
to_us
e
r
_
data: reset t
h
e state to n
o
t
user data
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-08-05
D
an Carpenter
db
:
don
'
t store unreac
h
able calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-08-05
Dan Carpenter
derefere
n
ces_
p
aram: m
a
r
k
more p
a
rameters as deref
e
renced
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-08-05
Dan Carpenter
math
:
array parameters can be
NULL
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-08-03
Dan Car
p
enter
points_to_user_data: Fix a se
g
fault
p
a
rsing ke
r
nel
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-07-21
Dan C
a
rpe
n
ter
atomic
_
inc_dec: creat
e
a new
i
nc_dec
t
able
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-07-14
Dan
C
arpenter
us
e
r_data
/
p
o
ints_to_user
_
data:
r
e-w
r
it
e
use
r
tracking
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-07-14
Dan
C
a
r
p
enter
f
l
ow
:
fix certain inlin
e
f
u
n
c
tions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-07-14
Dan Carpen
t
er
d
b
: cre
a
te
f
a
ke assignments for calls
a
nd returns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-07-14
Dan
Carpenter
kernel: imp
r
ov
e
han
d
ling of
k
ernel parameters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-07-14
Dan Carpenter
kern
e
l: improve handling for IS_ERR(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-07-14
Dan Carp
e
nter
user_data: up
d
ate a comment
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-07-14
Dan
C
arp
e
nter
math
:
fix a compile is
s
ue
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-07-14
Dan Carpenter
math: assume pointer add
i
tions don't overflow
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-07-14
D
a
n
Carp
e
n
ter
buf_size: fake func
t
i
on
a
ss
i
gns are
always unknown
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-07-14
Dan Ca
r
penter
ma
t
h: add su
p
port for __builtin
_
f
f
s
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-07-14
D
a
n Carpenter
allocatin
g
_enough_data
:
sile
n
ce container_of() false
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-07-14
Da
n
Ca
r
penter
Merge git://g
i
t
.
ke
r
n
e
l
.
org
/
pub/scm
/
devel/spa
r
se
/
sparse
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-06-19
Dan
C
arp
e
nter
typ
e
: mark
foo
.
b
ar
.
ba
z
as
a
loca
l
va
r
iable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-06-18
Dan Carpenter
extr
a
: mtag: don't store u
n
known states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-06-08
Dan
Carpenter
d
b: Fix buffer overflow in
s
t
ate_name_to_
p
aram_name()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-26
Dan Carpenter
atomic_in
c
_dec: remove an unus
e
d parameter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-26
Dan Carp
e
nt
e
r
atomic_inc_dec: don't warn about imp
o
ssible paths
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-26
D
an
Carpenter
a
t
omic_
i
nc_dec
:
i
g
nore loca
l
sta
t
i
c
vari
a
bles
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-26
Dan Ca
r
penter
atomic_inc_dec: unknown
v
a
l
u
e
s are n
o
t failur
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-26
D
an Carpenter
a
t
omic_inc_de
c
: d
o
n'
t
r
ecord increment/d
e
crement
if
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-26
Dan
C
arpente
r
a
tomic_inc_dec
:
record potential d
e
cr
e
ment
s
as a
d
ecrement
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-26
Dan Carpenter
atomic_inc
_
de
c
:
don't store information in impossible
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-26
Dan Carpenter
atomic_inc_dec: add
m
o
r
e
functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-26
Dan Carpenter
atom
i
c
_
inc_dec: don't dou
b
le set sta
t
es
t
o
&
i
nc/&d
e
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-26
Dan Carpenter
atomic
_
inc
_
d
ec: chan
g
e how unmatched s
t
ates are
h
an
d
led
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-26
Dan
Carpen
t
er
atomic_inc_dec:
ren
a
me "orig" to
"start_state"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-20
D
a
n Carpenter
kernel_
p
r
i
ntf: print error pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-20
Dan Carpenter
ker
n
e
l
_
p
r
i
ntf: add
sup
p
o
r
t
fo
r
%ls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-20
D
an
C
arpente
r
kernel_printf: add _GNU_SO
U
RCE define
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-19
Dan Carpenter
D
ocumen
t
ation/smatch: add a reference t
o
the mai
l
i
ng
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next